We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Systematic Testing of Multithreaded Programs

Thumbnail Image
Download
Name

MIT-LCS-TM-607.pdf

Size

892.03 KB

Format

Adobe PDF

Checksum (MD5)

0b13969308e0504aa6fbc6d1a14213a1

Author(s)
Bruening, Derek
•
Chapin, John
Date Issued
May 2000
Series/Report no.
MIT-LCS-TM-607
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.