Race directed random testing of concurrent programs
- 7 June 2008
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 43 (6), 11-21
- https://doi.org/10.1145/1375581.1375584
Abstract
No abstract availableKeywords
This publication has 45 references indexed in Scilit:
- Scaling model checking of dataraces using dynamic informationJournal of Parallel and Distributed Computing, 2007
- RaceTrackACM SIGOPS Operating Systems Review, 2005
- Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented ProgramsFormal Methods in System Design, 2004
- Race checking by context inferenceACM SIGPLAN Notices, 2004
- Testing Concurrent Java Programs using Randomized SchedulingElectronic Notes in Theoretical Computer Science, 2002
- Model checking JAVA programs using JAVA PathFinderInternational Journal on Software Tools for Technology Transfer, 2000
- RecPlayACM Transactions on Computer Systems, 1999
- EraserACM Transactions on Computer Systems, 1997
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Techniques for debugging parallel programs with flowback analysisACM Transactions on Programming Languages and Systems, 1991