| 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}
} |
| 591 | Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman
Mutation-based Exploration of a Method for Verifying Concurrent Java Components
18th International Parallel and Distributed Processing Symposium (IPDPS'04)Santa Fe, New Mexico, 26-30 April 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LongDGSW04,
author = {Brad Long and Roger Duke and Doug Goldson and Paul Strooper and Luke Wildman},
title = {Mutation-based Exploration of a Method for Verifying Concurrent Java Components},
booktitle = {18th International Parallel and Distributed Processing Symposium (IPDPS'04)},
year = {2004},
address = {Santa Fe, New Mexico},
month = {26-30 April},
pages = {265}
} |
| 592 | Jeff Offutt and Yu{-}Seung Ma and Yong Rae Kwon
An experimental mutation system for Java
{ACM} {SIGSOFT} Software Engineering Notes, 29(5), 2004. |
|
| | Abstract: Available soon... |
| | @ARTICLE{offutt04_mujava,
author = {Jeff 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 = {},
volume = {29},
number = {5},
pages = {1--4}
} |
| 593 | Robert Nilsson and A. Jefferson Offutt and Sten F. Andler
Mutation-based Testing Criteria for Timeliness
Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)Hong Kong, China, 28-30, September 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{NilssonOA04,
author = {Robert Nilsson and A. Jefferson Offutt and Sten F. Andler},
title = {Mutation-based Testing Criteria for Timeliness},
booktitle = {Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04)},
year = {2004},
address = {Hong Kong, China},
month = {28-30, September},
pages = {306-311}
} |
| 594 | Tatiana Sugeta and Jose Carlos Maldonado and W. Eric Wong
Mutation Testing Applied to Validate SDL Specifications
Proceedings of the 16th IFIP International Conference on Testing of Communicating SystemsOxford, UK, 17-19 March 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{SugetaMW04,
author = {Tatiana Sugeta and Jose Carlos Maldonado and W. Eric Wong},
title = {Mutation Testing Applied to Validate SDL Specifications},
booktitle = {Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems},
year = {2004},
address = {Oxford, UK},
month = {17-19 March},
pages = {2741}
} |
| 595 | Vadim Okun
Specification Mutation for Test Generation and Analysis
University of Maryland Baltimore County, Baltimore, Maryland, 2004.Unknown- |
|
| | Abstract: Available soon... |
| | @PHDTHESIS{Okun04,
author = {Vadim Okun},
title = {Specification Mutation for Test Generation and Analysis},
school = {University of Maryland Baltimore County},
year = {2004},
type = {phdthesis},
address = {Baltimore, Maryland},
month = {},
} |
| 596 | Hyo-Jeong Lee and Yu-Seong Ma and Yong-Rae Kwon
Empirical Evaluation of Orthogonality of Class Mutation Operators
Proceedings of the 11th Asia-Pacific Software Engineering ConferenceBusan, Korea, 30 November - 3 December 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LeeMK04,
author = {Hyo-Jeong Lee and Yu-Seong Ma and Yong-Rae Kwon},
title = {Empirical Evaluation of Orthogonality of Class Mutation Operators},
booktitle = {Proceedings of the 11th Asia-Pacific Software Engineering Conference},
year = {2004},
address = {Busan, Korea},
month = {30 November - 3 December},
pages = {512-518}
} |
| 597 | Vadim Okun and Paul E. Black and Yaacov Yesha
Comparison of Fault Classes in Specification-based Testing
Information and Software Technology, 46(8), June 2004. |
|
| | Abstract: Our results extending Kuhn's fault class hierarchy provide a justification for the focus of fault-based testing strategies on detecting particular faults and ignoring others. We develop a novel analytical technique which allows us to elegantly prove that the hierarchy applies to arbitrary expressions, not just those in disjunctive normal form. We also use the technique to extend the hierarchy to a wider range of fault classes. To demonstrate broad applicability, we compare faults in practical situations and analyze previous results. In particular, using our technique, we show that the basic meaningful impact strategy of Weyuker et. al. tests for stuck-at faults, not just variable negation faults. |
| | @ARTICLE{OkunBY04,
author = {Vadim Okun and Paul E. Black and Yaacov Yesha},
title = {Comparison of Fault Classes in Specification-based Testing},
journal = {Information and Software Technology},
year = {2004},
month = {June},
volume = {46},
number = {8},
pages = {525-533}
} |
| 598 | Giovanni Vigna and William Robertson and Davide Balzarotti
Testing Network-based Intrusion Detection Signatures using Mutant Exploits
Proceedings of the 11th ACM Conference on Computer and Communications SecurityWashington DC, USA, 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{VignaRB04,
author = {Giovanni Vigna and William Robertson and Davide Balzarotti},
title = {Testing Network-based Intrusion Detection Signatures using Mutant Exploits},
booktitle = {Proceedings of the 11th ACM Conference on Computer and Communications Security},
year = {2004},
address = {Washington DC, USA},
month = {},
pages = {21-30}
} |
| 599 | Inali Wisniewski Soares and Silvia Regina Vergilio
Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing
Journal of Electronic Testing: Theory and Applications, 20(4), August 2004. |
|
| | Abstract: Available soon... |
| | @ARTICLE{SoaresV04,
author = {Inali Wisniewski Soares and Silvia Regina Vergilio},
title = {Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing},
journal = {Journal of Electronic Testing: Theory and Applications},
year = {2004},
month = {August},
volume = {20},
number = {4},
pages = {439-445}
} |
| 600 | Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark Harman and \'Akos Kiss and Lahcen Ouarbya
Formalizing Executable Dynamic and Forward Slicing
$4^{th}$ International Workshop on Source Code Analysis and Manipulation ({SCAM 04})Los Alamitos, California, USA, #sep# 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{tibor:scam04,
author = {Dave Binkley and Sebastian Danicic and Tibor Gyim\'othy and Mark Harman and \'Akos Kiss and Lahcen Ouarbya},
title = {Formalizing Executable Dynamic and Forward Slicing},
booktitle = {$4^{th}$ International Workshop on Source Code Analysis and Manipulation ({SCAM 04})},
year = {2004},
address = {Los Alamitos, California, USA},
month = {#sep#},
pages = {43--52}
} |
