SCALE: Source Code Analyzer for Locating Errors
Published in CaltechTHESIS (California Institute of Technology) • Apr 16, 2010
Authors:
Mihai Florian
Abstract
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 ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!