Mutation testing implements grammar-based testing

2nd Workshop on Mutation Analysis (Mutation 2006 - ISSRE Workshops 2006), MUTATION'06

Volumn , Issue , 2006, Pages 12-

  Offutt, Jeff ^a   Ammann, Paul ^a   Liu, Lisa ^b  

^a George Mason University   (United States)

^b ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT FREE GRAMMARS; SYNTACTICS;

COLLABORATION DIAGRAM; ESSENTIAL CHARACTERISTIC; FUTURE APPLICATIONS; GRAMMAR-BASED TESTING; MUTATION ANALYSIS; PROGRAM SPECIFICATION; SOFTWARE ARTIFACTS; SPACE LIMITATIONS;

SOFTWARE TESTING;

EID: 48749103056     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MUTATION.2006.11     Document Type: Conference Paper

References (32)

1. P. Ammann and J. Offutt. Using formal methods to derive test frames in category-partition testing. In Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS 94), pages 69-80, Gaithersburg MD, June 1994. IEEE Computer Society Press.
2. P. E. Ammann, P. E. Black, and W. Majurski. Using model checking to generate tests from specifications. In Second IEEE International Conference on Formal Engineering Methods (ICFEM'98), pages 46-54, Brisbane, Australia, December 1998.
3. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New York NY, 2nd edition, 1990. ISBN 0-442-20672-0.
4. J. H. Bowser. Reference manual for Ada mutant operators. Technical report GIT-SERC-88/02, Georgia Institute of Technology, February 1988.
5. T. A. Budd. Mutation Analysis of Program Test Data. PhD thesis, Yale University, New Haven CT, 1980.
6. T. A. Budd and R. J. Lipton. Proving Lisp programs using test data. In Digest for the Workshop on Software Testing and Test Documentation, pages 374-403, Ft. Lauderdale FL, December 1978. IEEE Computer Society Press.
7. T. A. Budd, R. J. Lipton, R. A. DeMillo, and F. G. Sayward. Mutation analysis. Technical report GIT-ICS-79/08, School of Information and Computer Science, Georgia Institute of Technology, Atlanta GA, April 1979.
8. H. Chockler and O. Kupferman. Coverage of implementations by simulating specifications. In TCS '02: Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science, pages 409-421. Kluwer, 2002.
9. M. Delamaro, J. C. Maldonado, and A. P. Mathur. Interface mutation: An approach for integration testing. IEEE Transactions on Software Engineering, 27(3):228-247, March 2001.
10. M. E. Delamaro and J. C. Maldonado. Proteum-A tool for the assessment of test adequacy for C programs. In Proceedings of the Conference on Performability in Computing Systems (PCS 96), pages 79-95, New Brunswick, NJ, July 1996.
11. R. A. DeMillo, R. J. Lipton, and F. G. Sayward. Hints on test data selection: Help for the practicing programmer. IEEE Computer, 11(4):34-41, April 1978.
12. R. A. DeMillo and A. J. Offutt. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900-910, September 1991.
13. R. K. Doong and P. G. Frankl. Case studies on testing object-oriented programs. In Proceedings of the Fourth Symposium on Software Testing, Analysis, and Verification, pages 165-177, Victoria, British Columbia, Canada, October 1991. IEEE Computer Society Press.
14. I. R. Forman. An algebra for data flow anomaly detection. In Proceedings of the Seventh International Conference on Software Engineering, pages 278-286. IEEE Computer Society Press, March 1984.
15. A. Goldberg, T. C.Wang, and D. Zimmerman. Applications of feasible path analysis to program testing. In Proceedings of the 1994 International Symposium on Software Testing, and Analysis, pages 80-94, Seattle WA, August 1994.
16. R. G. Hamlet. Testing programs with the aid of a compiler. IEEE Transactions on Software Engineering, 3(4):279-290, July 1977.
17. J. M. Hanks. Testing COBOL programs by mutation: Volume I - introduction to the CMS.1 system, volume II - CMS.1 system documentation. Technical report GIT-ICS-80/04, Georgia Institute of Technology, February 1980.
18. D. Hedley and M. A. Hennell. The causes and effects of infeasible paths in computer programs. In Proceedings of the Eighth International Conference on Software Engineering, pages 259-266, London UK, August 1985. IEEE Computer Society Press.
19. W. E. Howden. Algebraic program testing. Acta Informatica, 10(1):53-66, 1978.
20. R. Jasper, M. Brennan, K. Williamson, B. Currier, and D. Zimmerman. Test data generation and feasible path analysis. In Proceedings of the 1994 International Symposium on Software Testing, and Analysis, pages 95-107, Seattle WA, August 1994.
21. S.-W. Kim, J. A. Clark, and J. A. McDermid. Investigating the effectiveness of object-oriented testing strategies using the mutation method. Software Testing, Verification and Reliability, 11(3):207-225, December 2001.
22. K. N. King and A. J. Offutt. A Fortran language system for mutation-based software testing. Software-Practice and Experience, 21(7):685-718, July 1991.
23. S. C. Lee and J. Offutt. Generating test cases for XML-based web component interactions using mutation analysis. In Proceedings of the 12th International Symposium on Software Reliability Engineering, pages 200-209, Hong Kong China, November 2001. IEEE Computer Society Press.
24. Y.-S. Ma, Y.-R. Kwon, and J. Offutt. Inter-class mutation operators for Java. In Proceedings of the 13th International Symposium on Software Reliability Engineering, pages 352-363, Annapolis MD, November 2002. IEEE Computer Society Press.
25. Y.-S. Ma, J. Offutt, and Y.-R. Kwon. Mujava : An automated class mutation system. Software Testing, Verification, and Reliability, 15(2):97-133, June 2005.
26. Y.-S. Ma, J. Offutt, and Y.-R. Kwon. muJava home page. online, 2005. http://ise.gmu.edu/~offutt/mujava/, http://salmosa.kaist.ac.kr/LAB/MuJava/, last access April 2006.
27. A. J. Offutt, A. Lee, G. Rothermel, R. Untch, and C. Zapf. An experimental determination of sufficient mutation operators. ACM Transactions on Software Engineering Methodology, 5(2):99-118, April 1996.
28. A. J. Offutt and J. Pan. Detecting equivalent mutants and the feasible path problem. Software Testing, Verification, and Reliability, 7(3):165-192, September 1997.
29. A. J. Offutt, J. Payne, and J. M. Voas. Mutation operators for Ada. Technical report ISSE-TR-96-09, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, March 1996. http://www.ise.gmu.edu/techrep/.
30. J. Offutt and W. Xu. Generating test cases for web services using data perturbation. In Workshop on Testing, Analysis and Verification of Web Services, Boston, MA, July 2004. ACM SIGSoft.
31. J. Offutt and W. Xu. Testing web services by XML perturbation. In Proceedings of the 16th International Symposium on Software Reliability Engineering, Chicago, IL, November 2005. IEEE Computer Society Press.
32. W. E. Wong and A. P. Mathur. Fault detection effectiveness of mutation and data flow testing. Software Quality Journal, 4(1):69-83, March 1995.