Systematic Testing of Multithreaded Programs
| dc.contributor.author | Bruening, Derek | en_US |
| dc.contributor.author | Chapin, John | en_US |
| dc.date.accessioned | 2023-03-29T14:41:53Z | |
| dc.date.available | 2023-03-29T14:41:53Z | |
| dc.date.issued | 2000-05 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149297 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TM-607 | |
| dc.title | Systematic Testing of Multithreaded Programs | en_US |
