Isolating Failure-Inducing Thread Schedules - ISSTA 2002
by Jong-Deok Choi, Andreas Zeller

ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Pages 210-220, ACM Press, New York, NY, USA, July 2002.

ISBN: 1581135629

Digital Library via DOI: 10.1145/566172.566211 - Local copy: Download as PDF file.

See also

More information is available at http://www.st.cs.uni-saarland.de/dd/.

Abstract

Consider a multi-threaded application that occasionally fails due to non-determinism. Using the DEJAVU capture/replay tool, it is possible to record the thread schedule and replay the application in a deterministic way. By systematically narrowing down the difference between a thread schedule that makes the program pass and another schedule that makes the program fail, the Delta Debugging approach can pinpoint the error location automatically - namely, the location(s) where a thread switch causes the program to fail. In a case study, Delta Debugging isolated the failure-inducing schedule difference from 3.8 billion differences in only 50 tests.

Keywords

BibTeX Entry

@inproceedings{choi-issta-2002,
    title = "Isolating Failure-Inducing Thread Schedules",
    author = "Jong-Deok Choi and Andreas Zeller",
    year = "2002",
    month = jul,
    address = "New York, NY, USA",
    booktitle = "ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and
analysis",
    location = "Roma, Italy",
    pages = "210--220",
    publisher = "ACM Press",
    ISBN = "1581135629",
    doi = "10.1145/566172.566211",
}

Show all publications of the Software Engineering Chair.