| 571 | Yu{-}Seung Ma and Jeff Offutt and Yong Rae Kwon
MuJava: an automated class mutation system
Softw. Test., Verif. Reliab., 15(2), 2005. |
|
| | 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}
} |
| 572 | Yu-Seung Ma and A. Jefferson Offutt and Yong-Rae Kwon
MuJava: An Automated Class Mutation System
Software Testing, Verification & Reliability, 15(2), June 2005. |
|
| | 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}
} |
| 573 | Yuan Zhan and John A. Clark
Search-based Mutation Testing for Simulink Models
Proceedings of the Conference on Genetic and Evolutionary Computation (GECCO'05)Washington DC, USA, 25-29 June 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhanC05,
author = {Yuan Zhan and John A. Clark},
title = {Search-based Mutation Testing for Simulink Models},
booktitle = {Proceedings of the Conference on Genetic and Evolutionary Computation (GECCO'05)},
year = {2005},
address = {Washington DC, USA},
month = {25-29 June},
pages = {1061-1068}
} |
| 574 | Bernhard K. Aichernig and Percy Antonio Pari Salas
Test Case Generation by OCL Mutation and Constraint Solving
Proceedings of the 5th International Conference on Quality Software (QSIC'05)Melbourne, Australia, 19-20 September 2005. |
|
| | Abstract: Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these anticipated errors. This paper presents a method of fault-based test case generation for pre and postcondition specifications. Here, errors are anticipated on the specification level by mutating the pre and postconditions. We present the underlying theory by giving test cases a formal semantics and translate this general testing theory to a constraint satisfaction problem. A prototype test case generator serves to demonstrate the automatization of the method. The current tool works with OCL specifications, but the theory and method are general and apply to many state-based specification languages. |
| | @INPROCEEDINGS{AichernigS05,
author = {Bernhard K. Aichernig and Percy Antonio Pari Salas},
title = {Test Case Generation by OCL Mutation and Constraint Solving},
booktitle = {Proceedings of the 5th International Conference on Quality Software (QSIC'05)},
year = {2005},
address = {Melbourne, Australia},
month = {19-20 September},
pages = {64-71}
} |
| 575 | Hoijin Yoon and Eunhee Kim and Joo Young Seo and Byoungju Choi
Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study
Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)Linz, Austria, 21 September 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{YoonKSC05,
author = {Hoijin Yoon and Eunhee Kim and Joo Young Seo and Byoungju Choi},
title = {Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study},
booktitle = {Proceedings of the 4th International Workshop on Formal Approaches to Software Testing (FATES'04)},
year = {2005},
address = {Linz, Austria},
month = {21 September},
pages = {210-224}
} |
| 576 | James H. Andrews and Lionel C. Briand and Yvan Labiche
Is mutation an appropriate tool for testing experiments?
27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}, 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{andrews_ICSE_05_mutgen,
author = {James H. Andrews and Lionel C. Briand and Yvan Labiche},
title = {Is mutation an appropriate tool for testing experiments?},
booktitle = {27th International Conference on Software Engineering {(ICSE} 2005), 15-21 May 2005, St. Louis, Missouri, {USA}},
year = {2005},
address = {},
month = {},
pages = {402--411}
} |
| 577 | Yu-Seung Ma
Object-Oriented Mutation Testing for Java
KAIST University in Korea, , 2005.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Ma05,
author = {Yu-Seung Ma},
title = {Object-Oriented Mutation Testing for Java},
school = {KAIST University in Korea},
year = {2005},
type = {phdthesis},
address = {},
month = {},
} |
| 578 | Amit Paradkar
Case Studies on Fault Detection Effectiveness of Model Based Test Generation Techniques
Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST'05)St. Louis, Missouri, 15-16 May 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Paradkar05,
author = {Amit Paradkar},
title = {Case Studies on Fault Detection Effectiveness of Model Based Test Generation Techniques},
booktitle = {Proceedings of the 1st International Workshop on Advances in Model-Based Testing (A-MOST'05)},
year = {2005},
address = {St. Louis, Missouri},
month = {15-16 May},
pages = {1 - 7}
} |
| 579 | Z. A. Al-Khanjari and Martin R. Woodward and Haider Ali Ramadhan and N. S. Kutti
The Efficiency of Critical Slicing in Fault Localization
Software Quality Journal, 13(2), June 2005. |
|
| | Abstract: In software testing, developing effective debugging strategies is important to guarantee the reliability of software under testing. A heuristic technique is to cause failure and therefore expose faults. Based on this approach mutation testing has been found very useful technique in detecting faults. However, it suffers from two problems with successfully testing programs: (1) requires extensive computing resources and (2) puts heavy demand on human resources. Later, empirical observations suggest that critical slicing based on Statement Deletion (Sdl) mutation operator has been found the most effective technique in reducing effort and the required computing resources in locating the program faults. The second problem of mutation testing may be solved by automating the program testing with the help of software tools. Our study focuses on determining the effectiveness of the critical slicing technique with the help of the Mothra Mutation Testing System in detecting program faults. This paper presents the results showing the performance of Mothra Mutation Testing System through conducting critical slicing testing on a selected suite of programs. |
| | @ARTICLE{KhanjariWRK05,
author = {Z. A. Al-Khanjari and Martin R. Woodward and Haider Ali Ramadhan and N. S. Kutti},
title = {The Efficiency of Critical Slicing in Fault Localization},
journal = {Software Quality Journal},
year = {2005},
month = {June},
volume = {13},
number = {2},
pages = {129-153}
} |
| 580 | W. K. Chan and S. C. Cheung and T. H. Tse
Fault-Based Testing of Database Application Programs with Conceptual Data Model
Proceedings of the 5th International Conference on Quality Software (QSIC'05)Melbourne, Australia, 19 -20 September 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ChanCT05,
author = {W. K. Chan and S. C. Cheung and T. H. Tse},
title = {Fault-Based Testing of Database Application Programs with Conceptual Data Model},
booktitle = {Proceedings of the 5th International Conference on Quality Software (QSIC'05)},
year = {2005},
address = {Melbourne, Australia},
month = {19 -20 September},
pages = {187-196}
} |
