A study of interleaving coverage criteria
- 7 September 2007
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 533-536
- https://doi.org/10.1145/1287624.1287703
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Associating synchronization constraints with data in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,2006
- Applications of synchronization coveragePublished by Association for Computing Machinery (ACM) ,2005
- KISSPublished by Association for Computing Machinery (ACM) ,2004
- Data flow testing of parallelized codePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- All-du-path coverage for parallel programsPublished by Association for Computing Machinery (ACM) ,1998
- Software unit test coverage and adequacyACM Computing Surveys, 1997
- EraserACM Transactions on Computer Systems, 1997
- More experience with data flow testingIEEE Transactions on Software Engineering, 1993
- Structural testing of concurrent programsIEEE Transactions on Software Engineering, 1992
- A formal evaluation of data flow path selection criteriaIEEE Transactions on Software Engineering, 1989