Isolating failure-inducing thread schedules
- 1 July 2002
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 27 (4) , 210-220
- https://doi.org/10.1145/566172.566211
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Simplifying and isolating failure-inducing inputIEEE Transactions on Software Engineering, 2002
- Efficient and precise datarace detection for multithreaded object-oriented programsPublished by Association for Computing Machinery (ACM) ,2002
- Object race detectionPublished by Association for Computing Machinery (ACM) ,2001
- Context-sensitive synchronization-sensitive analysis is undecidableACM Transactions on Programming Languages and Systems, 2000
- A conservative data flow algorithm for detecting all pairs of statements that may happen in parallelPublished by Association for Computing Machinery (ACM) ,1998
- Static slicing of threaded programsPublished by Association for Computing Machinery (ACM) ,1998
- EraserACM Transactions on Computer Systems, 1997
- Evaluating deadlock detection methods for concurrent softwareIEEE Transactions on Software Engineering, 1996
- Non-concurrency analysisPublished by Association for Computing Machinery (ACM) ,1993
- Debugging concurrent processes: a case studyPublished by Association for Computing Machinery (ACM) ,1988