Mutation Testing Publications

Search results for "MaOK05", found 2 papers, 1 pages

1Yu{-}Seung Ma and Jeff Offutt and Yong Rae Kwon
MuJava: an automated class mutation system
Softw. Test., Verif. Reliab., 15(2), 2005.
BibTeX | Abstract | PDF | DOI
Abstract:

Available soon...

@ARTICLE{MaOK05, author = {Yu{-}Seung Ma and Jeff Offutt and Yong Rae Kwon}, title = {MuJava: an automated class mutation system}, journal = {Softw. Test., Verif. Reliab.}, year = {2005}, month = {}, volume = {15}, number = {2}, pages = {97--133} }
2Yu-Seung Ma and A. Jefferson Offutt and Yong-Rae Kwon
MuJava: An Automated Class Mutation System
Software Testing, Verification & Reliability, 15(2), June 2005.
BibTeX | Abstract | URL
Abstract:

Several module and class testing techniques have been applied to object-oriented (OO) programs, but researchers have only recently begun developing test criteria that evaluate the use of key OO features such as inheritance, polymorphism, and encapsulation. Mutation testing is a powerful testing technique for generating software tests and evaluating the quality of software. However, the cost of mutation testing has traditionally been so high that it cannot be applied without full automated tool support. This paper presents a method to reduce the execution cost of mutation testing for OO programs by using two key technologies, mutant schemata generation (MSG) and bytecode translation. This method adapts the existing MSG method for mutants that change the program behaviour and uses bytecode translation for mutants that change the program structure. A key advantage is in performance: only two compilations are required and both the compilation and execution time for each is greatly reduced. A mutation tool based on the MSG/bytecode translation method has been built and used to measure the speedup over the separate compilation approach. Experimental results show that the MSG/bytecode translation method is about five times faster than separate compilation.

@ARTICLE{MaOK05, author = {Yu-Seung Ma and A. Jefferson Offutt and Yong-Rae Kwon}, title = {MuJava: An Automated Class Mutation System}, journal = {Software Testing, Verification & Reliability}, year = {2005}, month = {June}, volume = {15}, number = {2}, pages = {97-133} }