Systematic Testing of Multithreaded Programs
Author(s)
Bruening, Derek; Chapin, John![Thumbnail](/bitstream/handle/1721.1/149297/MIT-LCS-TM-607.pdf.jpg?sequence=3&isAllowed=y)
DownloadMIT-LCS-TM-607.pdf (892.0Kb)
Metadata
Show full item recordAbstract
We present a practical testing algorithm called ExitBlock that systematically and deterministically finds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program on a given input multiple times, enumerating meaningful schedules in order to cover all program behaviors.
Date issued
2000-05Series/Report no.
MIT-LCS-TM-607