DocumentCode
1458471
Title
Predictable and Progressive Testing of Multithreaded Code
Author
Ball, Thomas ; Burckhardt, Sebastian ; De Halleux, Peli ; Musuvathi, Madanlal ; Qadeer, Shaz
Volume
28
Issue
3
fYear
2011
Firstpage
75
Lastpage
83
Abstract
The Chess (Checker for System Software) testing tool repeatedly executes a multithreaded program while guaranteeing predictable and deterministic scheduling and progressively exploring more schedules to uncover errors quickly.
Keywords
multi-threading; program testing; scheduling; Chess testing tool; checker for system software testing tool; deterministic scheduling; multithreaded code; multithreaded program; predictable scheduling; predictable testing; progressive testing; Concurrent computing; Operating systems; Parallel programming; Processor scheduling; Programming profession; Sequential analysis; Software testing; System testing; Chess; concurrency; nondeterminism; sequential program; software; testing; threads scheduling;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/MS.2010.64
Filename
5440162
Link To Document