Isolating failure-inducing thread schedules
Authors:
Open Access
- 1 July 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 27 (4) , 210-220
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 programs2002
- Object race detection2001
- 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 parallel1998
- Static slicing of threaded programs1998
- EraserACM Transactions on Computer Systems, 1997
- Evaluating deadlock detection methods for concurrent softwareIEEE Transactions on Software Engineering, 1996
- Non-concurrency analysis1993
- Debugging concurrent processes: a case study1988