Paraμ- A partial and higher-order mutation tool with concurrency operators

Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011

Volumn , Issue , 2011, Pages 351-356

  Madiraju, Pratyusha ^a   Namin, Akbar Siami ^a  

^a Texas Tech University   (United States)

Author keywords

Higher order mutation; Mutation testing; Object oriented programs; Software testing tools

Indexed keywords

COMPLEX PARTS; CONCURRENCY OPERATORS; HIGHER ORDER; JAVA PROGRAM; MULTI-CORE SYSTEMS; MULTI-THREADED PROGRAMS; MUTATION OPERATORS; MUTATION TESTING; NON-UNIFORM DISTRIBUTION; OBJECT-ORIENTED PROGRAM; TESTING EFFORT;

COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; MULTICORE PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

SOFTWARE TESTING;

EID: 80051611715     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2011.34     Document Type: Conference Paper

References (27)

1. J. H. Andrews, L. C. Briand, Y. Labiche, and A. Siami Namin, "Using mutation analysis for assessing and comparing testing coverage criteria, " IEEE Transactions on Software Engineering, vol. 32, no. 8, pp. 608 - 624, August 2006. (Pubitemid 46405276)
2. J. H. Andrews, L. C. Briand, and Y. Labiche, "Is mutation an appropriate tool for testing experiments?" in Proceedings of International Conference on Software Engineering (ICSE 2005), St. Louis, Missouri, May 2005.
3. Y. Jia and M. Harman, "An analysis and survey of the development of mutation testing, " IEEE Transactions on Software Engineering, vol. 99, 2010.
4. K. N. King and A. J. Offutt, "A fortran language system for mutation-based software testing, " Software, Practice Experiment, vol. 21, no. 7, pp. 685-718, 1991. (Pubitemid 21666424)
5. M. E. Delamaro and J. C. Maldonado, "Proteum - a tool for the assessment of test adequacy for C programs, " in Conference on Performability in Computing Systems (PCS 96), New Brunswick, NJ, July 1996, pp. 79-95.
6. H. Agrawal, R. A. DeMillo, B. Hathaway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, A. P. Mathur, and E. Spafford, "Design of mutant operators for the C programming language, " Department of Computer Science, Purdue University, Tech. Rep. SERC-TR-41-P, April 2006.
7. Y. Jia and M. Harman, "Milu: A customizable, runtimeoptimized higher order mutation testing tool for the full c language, " in Proceedings of the 3rd Testing: Academic and Industrial Conference Practice and Research Techniques (TAIC PART'08), Windsor, UK, 29-31 August 2008, pp. 94- 98.
8. Y.-S. Ma, J. Offutt, and Y. R. Kwon, "MuJava: an automated class mutation system, " Software Testing, Verification, and Reliability, vol. 15, no. 2, pp. 97-133, 2005. (Pubitemid 40858060)
9. Y.-S. Ma, "Description of method level mutation operators for java, " Electronics and Telecommunications Research Institute, Korea, Tech. Rep., March 2005.
10. J. Offutt, Y.-S. Ma, and Y. R. Kwon, "The class-level mutants of MuJava, " in Proceedings of International Workshop on Automation of Software Test (AST), 2006, pp. 78-84.
11. Y.-S. Ma, Y. R. Kwon, and J. Offutt, "Inter-class mutation operators for java, " in Proceedings of International Symposium on Software Reliability Engineering (ISSRE), 2002, pp. 352-366.
12. B. Smith and L. Williams, "An empirical evaluation of the mujava mutation operators, " in Testing: Academic and Industrial Conference Practice and Research Techniques, 2007, pp. 193-202.
13. D. Schuler and A. Zeller, "Javalanche: efficient mutation testing for java, " in ESEC/SIGSOFT FSE, 2009, pp. 297-298.
14. S. A. Irvine, T. Pavlinic, L. Trigg, J. G. Cleary, S. Inglis, and M. Utting, "Jumble java byte code to measure the effectiveness of unit tests, " in Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION. Washington, DC, USA: IEEE Computer Society, 2007, pp. 169-175.
15. J. S. Bradbury, J. R. Cordy, and J. Dingel, "Mutation operators for concurrent Java (J2SE 5.0), " in Proceedings of the 2nd Workshop on Mutation Analysis (Mutation 2006), November 2006, pp. 83-92.
16. M. Gligoric, V. Jagannath, and D. Marinov, "Mutmut: Efficient exploration for mutation testing of multithreaded code, " in Proceedings of International Conference on Software Testing (ICST), 2010, pp. 55-64.
17. M. Harman, Y. Jia, and W. B. Langdon, "A manifesto for higher order mutation testing, " in Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, ser. ICSTW '10. Washington, DC, USA: IEEE Computer Society, 2010, pp. 80-89.
18. Y. Jia and M. Harman, "Higher order mutation testing, " Information Software Technology, vol. 51, pp. 1379-1393, October 2009.
19. W. B. Langdon, M. Harman, and Y. Jia, "Efficient multiobjective higher order mutation testing with genetic programming, " Journal of Systems and Software, vol. 83, no. 12, pp. 2416-2430, 2010.
20. S. Chiba, "Java programming assistant (javassist), " www.javassist.org/October 2010.
21. G. Kniesel, P. Costanza, and M. Austermann, "Jmangler - A framework for load-time transformation of java class files, " in First IEEE International Workshop on Source Code Analysis and Manipulation, Florence, Italy, November 2001, pp. 98- 108.
22. R. Keller and U. Hölzle, "Binary component adaptation, " in Proceedings of 12th European Conference Object-Oriented Programming(ECOOP), 1998, pp. 307-329. (Pubitemid 128110397)
23. M. Dahm, "Byte code engineering with the bcel, api, " Freie Universität Berlin - Institute für Informatik, Tech. Rep. B- 17-98, 1998.
24. G. Cohen, J. Chase, and D. Kaminsky, "Automatic program transformation with joie, " in Proceedings of the 1998 USENIX Annual Technical Symposium, 1998.
25. E. Bruneton, ASM 3.0 - A Java bytecode engineering library, 2007.
26. T. A. Budd, "Mutation analysis of program test data, " Ph.D. dissertation, New Haven, CT, USA, 1980.
27. A. J. Offutt, G. Rothermel, and C. Zapf, "An experimental evaluation of selective mutation, " in Proceedings of International Conference on Software Engineering (ICSE), 1993, pp. 100-107.