SCALE: Source Code Analyzer for Locating Errors

SCALE: Source Code Analyzer for Locating Errors

This thesis presents the design and implementation of SCALE, a tool for systematic software testing multi-threaded C applications that use the pthread library. SCALE exhaustively explores the non determinism introduced by thread schedulings and tries to find violations of safety properties. We have...

Full description

Bibliographic Details
Main Author: Florian, Mihai
Format: Others
Published: 2010
Online Access:https://thesis.library.caltech.edu/5718/1/mf-thesis.pdf
Florian, Mihai (2010) SCALE: Source Code Analyzer for Locating Errors. Master's thesis, California Institute of Technology. doi:10.7907/KXWA-7Y81. https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677 <https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677>

Internet

https://thesis.library.caltech.edu/5718/1/mf-thesis.pdf
Florian, Mihai (2010) SCALE: Source Code Analyzer for Locating Errors. Master's thesis, California Institute of Technology. doi:10.7907/KXWA-7Y81. https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677 <https://resolver.caltech.edu/CaltechTHESIS:04142010-122136677>

Similar Items