Title :
Predictable and Progressive Testing of Multithreaded Code
Author :
Ball, Thomas ; Burckhardt, Sebastian ; De Halleux, Peli ; Musuvathi, Madanlal ; Qadeer, Shaz
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;
Journal_Title :
Software, IEEE
