Comparative assessment of testing and model checking using program mutation

Proceedings - Testing: Academic and Industrial Conference Practice and Research Techniques, TAIC PART-Mutation 2007

Volumn , Issue , 2007, Pages 210-219

  Bradbury, Jeremy S ^a   Cordy, James R ^b   Dingel, Juergen ^b  

^a UNIVERSITY OF ONTARIO INSTITUTE OF TECHNOLOGY   (Canada)

^b QUEEN S UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ABILITY TESTING; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER SOFTWARE; INDUSTRIAL RESEARCH; MODEL CHECKING; NASA; QUALITY ASSURANCE; REAL TIME SYSTEMS; SPACE RESEARCH; STATE SPACE METHODS; TOTAL QUALITY MANAGEMENT;

ASSESSMENT METHODS; COMPARATIVE ASSESSMENTS; CONCURRENT PROGRAMS; FORMAL ANALYSIS TOOLS; JAVA PATHFINDER; MUTATION ANALYSIS; SEQUENTIAL CODES; STATE SPACES;

CONCURRENCY CONTROL;

EID: 48049108256     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TAICPART.2007.4344126     Document Type: Conference Paper

References (23)

1. Java PathFinder website. Web page: http://javapathfinder.sourceforge.net/ .
2. th International Conference on Software Engineering (ICSE 2005), pages 402-411, May 2005.
3. nd Workshop on Mutation Analysis (Mutation 2006), pages 57-62, Nov. 2006.
4. nd Workshop on Mutation Analysis (Mutation 2006), pages 83-92, Nov. 2006.
5. G. Brat, D. Drusinsky, D. Giannakopoulou, A. Goldberg, K. Havelund, M. Lowry, C. Pasareanu, A. Venet, W. Visser, and R. Washington. Experimental evaluation of verification and validation tools on Martian Rover software. Formal Methods in Systems Design Journal, 25(2-3): 167-198, Sept. 2004.
6. H. Chockler, E. Farchi, Z. Glazberg, B. Godlin, Y. Nir-Buchbinder, and I. Rabinovitz. Formal verification of concurrent software: Two case studies. In Proc. of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD-IV), pages 11-21, Jul. 2006.
7. J.-D. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In Proc. of the SIGMETRICS Symposium on Parallel and Distributed Tools (SPDT '98), pages 48-59. ACM Press, 1998.
8. st IEEE International Conference on Software Maintenance (ICSM 2005), pages 411-420, 2005.
9. th International Conference on Software Engineering (ICSE 2007), pages 3-12, May 2007.
10. th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT '06/FSE-14), pages 92-104. ACM Press, Nov. 2006.
11. O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, and S. Ur. Multithreaded Java program test generation. IBM Systems Journal, 41(1):111-125, 2002.
12. st International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2003), Apr. 2003.
13. nd International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2004), Apr. 2004.
14. st International Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2003), Apr. 2003.
15. th SPIN Workshop.
16. D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92-106, 2004.
17. B. Long, D. Hoffman, and P. Strooper. Tool support for testing concurrent Java components. IEEE Trans. on Soft. Eng., 29(6):555-566, Jun. 2003.
18. A. J. Offutt. Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol., 1(1):5-20, 1992.
19. th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-11), pages 267-276. ACM Press, 2003.
20. J. Rushby. Disappearing formal methods. In Proc. of the High-Assurance Systems Eng. Symp. (HASE'00), pages 95-96, Nov. 2000.
21. H. Sutter and J. Larus. Software and the concurrency revolution. Queue, 3(7):54-62, 2005.
22. W. Visser, K. Havelund, G. Brat, S. Park, and F. Lerda. Model checking programs. Automated Software Engineering Journal, 10(2):203-232, Apr. 2003.
23. C. Wohlin, P. Runeson, M. Host, M. C. Ohlsson, B. Regnell, and A. Wesslén. Experimentation in Software Engineering: An Introduction. Software Engineering. Kluwer Academic Publishers, 2000.