LCS Publication Details
Publication Title: Systematic Testing of Multithreaded Programs
Publication Author: Bruening, D.
Additional Authors:
LCS Document Number: MIT-LCS-TM-607
Publication Date: 5-2-2000
LCS Group: Computer Architecture
Additional URL: No URL Given
Abstract:
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.
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.