A study of interleaving coverage criteria

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 533-536

  Lu, Shan ^a   Jiang, Weihang ^a   Zhou, Yuanyuan ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Concurrent program; Coverage criteria; Interleaving

Indexed keywords

ASYMPTOTIC STABILITY; COMPUTER PROGRAMMING; FAULT DETECTION; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; PROGRAM DEBUGGING;

CONCURRENT PROGRAMS; COVERAGE CRITERIA; INTERLEAVING; CONCURRENT PROGRAM; COVERAGE CRITERIONS; FAULT MODELS; FUNDAMENTAL PROBLEMS;

CONCURRENT ENGINEERING; CONCURRENCY CONTROL;

EID: 57149131636     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287703     Document Type: Conference Paper

References (16)

1. B. Beizer. Software Testing Techniques, 2nd edition. New York: Van Nostrand Reinhold, 1990.
2. A. Bron, E. Farchi, Y. Magid, Y. Nir, and S. Ur. Applications of synchronization coverage. In PPoPP, 2005.
3. L. A. Clarke, A. Podgurski, D. J. Richardson, and S. J. Zeil. A formal evaluation of data flow path selection criteria. IEEE Trans. Software Eng., 15(11):1318-1332, 1989.
4. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multi-threaded java program test generation. IBM Systems Journal, 2002.
5. M. Factor, E. Farchi, Y. Lichtenstein, and Y. Malka. Testing concurrent programs: a formal evaluation of coverage criteria. In ICCSSE, 1996.
6. P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Trans. Softw. Eng., 1988.
7. M. J. Harrold and B. A. Malloy. Data flow testing of parallelized code. In Proceedings of the International Conference on Software Maintenance, 1992.
8. S. Lu, J. Tucek, F. Qin, and Y. Zhou. Avio: Detecting atomicity violations via access interleaving invariants. In ASPLOS, 2006.
9. S. Qadeer and D. Wu. Kiss: keep it simple and sequential. In PLDI, 2004.
10. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. ACM TOCS, 1997.
11. R. N. Taylor, D. L. Levine, and C. D. Kelly. Structural testing of concurrent programs. IEEE Trans. Softw. Eng., 1992.
12. M. Vaziri, F. Tip, and J. Dolby. Associating synchronization constraints with data in an object-oriented language. In POPL, 2006.
13. S. N. Weiss. A formal framework for the study of concurrent program testing. In Proceedings of the Second Workshop on Software Testing, Verification and Analysis, 1988.
14. E. J. Weyuker. More experience with data flow testing. IEEE Trans. Softw. Eng., 19(9):912-919, 1993.
15. C.-S. D. Yang, A. L. Souter, and L. L. Pollock. All-du-path coverage for parallel programs. In ISSTA, 1998.
16. H. Zhu, P. A. V. Hall, and J. H. R. May. Software unit test coverage and adequacy. ACM Comput. Surv., 1997.