| 581 | James H. Andrews and Lionel C. Briand and Yvan Labiche
Is Mutation an Appropriate Tool for Testing Experiments?
Proceedings of the 27th International Conference on Software Engineering (ICSE'05)St Louis, Missouri, 15-21 May 2005. |
|
| | Abstract: The empirical assessment of test techniques plays an important role in software testing research. One common practice is to instrument faults, either manually or by using mutation operators. The latter allows the systematic, repeatable seeding of large numbers of faults; however, we do not know whether empirical results obtained this way lead to valid, representative conclusions. This paper investigates this important question based on a number of programs with comprehensive pools of test cases and known faults. It is concluded that, based on the data available thus far, the use of mutation operators is yielding trustworthy results (generated mutants are similar to real faults). Mutants appear however to be different from hand-seeded faults that seem to be harder to detect than real faults. |
| | @INPROCEEDINGS{AndrewsBL05,
author = {James H. Andrews and Lionel C. Briand and Yvan Labiche},
title = {Is Mutation an Appropriate Tool for Testing Experiments?},
booktitle = {Proceedings of the 27th International Conference on Software Engineering (ICSE'05)},
year = {2005},
address = {St Louis, Missouri},
month = {15-21 May},
pages = {402 - 411}
} |
| 582 | Ling Liu and Huaikou Miao
Mutation Operators for Object-Z Specification
Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)Shanghai, China, 16-20 June 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LiuM05,
author = {Ling Liu and Huaikou Miao},
title = {Mutation Operators for Object-Z Specification},
booktitle = {Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05)},
year = {2005},
address = {Shanghai, China},
month = {16-20 June},
pages = {498-506}
} |
| 583 | Hyunsook Do and Gregg Rothermel
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)Budapest, Hungary, 25-30 September 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{DoR05,
author = {Hyunsook Do and Gregg Rothermel},
title = {A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults},
booktitle = {Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)},
year = {2005},
address = {Budapest, Hungary},
month = {25-30 September},
pages = {411-420}
} |
| 584 | Jian Bing Li and James Miller
Testing the Semantics of W3C XML Schema
Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05)Turku, Finland, 26-28 July 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LiM05,
author = {Jian Bing Li and James Miller},
title = {Testing the Semantics of W3C XML Schema},
booktitle = {Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05)},
year = {2005},
address = {Turku, Finland},
month = {26-28 July},
pages = {443-448}
} |
| 585 | Wuzhi Xu and A. Jefferson Offutt and Juan Luo
Testing Web Services by XML Perturbation
Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)Chicago Illinois, 14-16 July 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{XuOL05,
author = {Wuzhi Xu and A. Jefferson Offutt and Juan Luo},
title = {Testing Web Services by XML Perturbation},
booktitle = {Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05)},
year = {2005},
address = {Chicago Illinois},
month = {14-16 July},
pages = {257-266}
} |
| 586 | Mathieu Scholive and Vincent Beroulle and Chantal Robach and M. L. Flottes and B. Rouzeyre
Mutation Sampling Technique for the Generation of Structural Test Data
Proceedings of the Conference on Design, Automation and Test in Europe (DATE'05)Munich, Germany,, 7-11 March 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ScholivBRFR05,
author = {Mathieu Scholive and Vincent Beroulle and Chantal Robach and M. L. Flottes and B. Rouzeyre},
title = {Mutation Sampling Technique for the Generation of Structural Test Data},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE'05)},
year = {2005},
address = {Munich, Germany,},
month = {7-11 March},
pages = {1022 - 1023}
} |
| 587 | Xia Cai and Michael R. Lyu
The Effect of Code Coverage on Fault Detection Under Different Testing Profiles
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{CaiL05,
author = {Xia Cai and Michael R. Lyu},
title = {The Effect of Code Coverage on Fault Detection Under Different Testing Profiles},
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}
} |
| 588 | A. Jefferson Offutt and Yu-Seung Ma and Yong-Rae Kwon
An Experimental Mutation System for Java
ACM SIGSOFT Software Engineering Notes, 29(5), September 2004. |
|
| | Abstract: Mutation is a powerful but complicated and computationally expensive testing method. Mutation is also a valuable experimental research technique that has been used in many studies. Mutation has been experimentally compared with other test criteria, and also used to support experimental comparisons of other test criteria, by using mutants as a method to create faults. In effect, mutation is often used as a "gold standard" for experimental evaluations of test methods. This paper presents a publicly available mutation system for Java that supports both traditional statement-level mutants and newer inter-class mutants. MUJAVA can be freely downloaded and installed with relative ease under both Unix and Windows. MUJAVA is offered as a free service to the community and we hope that it will promote the use of mutation analysis for experimental research in software testing. |
| | @ARTICLE{OffuttMK04,
author = {A. Jefferson Offutt and Yu-Seung Ma and Yong-Rae Kwon},
title = {An Experimental Mutation System for Java},
journal = {ACM SIGSOFT Software Engineering Notes},
year = {2004},
month = {September},
volume = {29},
number = {5},
pages = {1-4}
} |
| 589 | A. Jefferson Offutt and Wuzhi Xu
Generating Test Cases for Web Services Using Data Perturbation
Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB)Boston, Massachusetts, 11-14 July 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{OffuttX04,
author = {A. Jefferson Offutt and Wuzhi Xu},
title = {Generating Test Cases for Web Services Using Data Perturbation},
booktitle = {Proceedings of the Workshop on Testing, Analysis and Verification of Web Services (TAV-WEB)},
year = {2004},
address = {Boston, Massachusetts},
month = {11-14 July},
pages = {1 - 10}
} |
| 590 | Te-Chang Lee and Pao-Ann Hsiung
Mutation Coverage Estimation for Model Checking
Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04)Taipei, Taiwan, 31 October - 3 November 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LeeH04,
author = {Te-Chang Lee and Pao-Ann Hsiung},
title = {Mutation Coverage Estimation for Model Checking},
booktitle = {Proceedings of the 2nd International Conference on Automated Technology for Verification and Analysis (ATVA'04)},
year = {2004},
address = {Taipei, Taiwan},
month = {31 October - 3 November},
pages = {354-368}
} |
