| 601 | Jorge Campos and Hussain Al-Asaad
Mutation-based Validation of High-level Microprocessor Implementations
Proceedings of the 9th Workshop on High-Level Design Validation and Test, 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{CamposA04,
author = {Jorge Campos and Hussain Al-Asaad},
title = {Mutation-based Validation of High-level Microprocessor Implementations},
booktitle = {Proceedings of the 9th Workshop on High-Level Design Validation and Test},
year = {2004},
address = {},
month = {},
pages = {81-86}
} |
| 602 | Hoijin Yoon and Byoungju Choi
Effective Test Case Selection for Component Customization and its Application to Enterprise JavaBeans: Research Articles
Software Testing, Verification and Reliability, 14(1), March 2004. |
|
| | Abstract: Component users need to customize components they obtain from providers, because providers usually develop components for general use. Although the customization is accomplished by modifying the interface of a component, faults from customization appear when the implementation part of a component and the interfaces interact. The implementation part is a black-box, whose source code is not available to a component user, while the interface is a white-box, whose source code is available for customization. Therefore, customization faults should be tested using both the black-box part and the white-box part of a component.This paper proposes a new technique to test customization faults using software fault injection and mutation testing, and the technique is tailored to Enterprise JavaBeans. Test cases are selected by injecting faults not into the entire interface but into specific parts of the component's interface. The specific parts that are chosen control the effectiveness of the test cases. An empirical study to evaluate the technique is reported. |
| | @ARTICLE{YoonC04,
author = {Hoijin Yoon and Byoungju Choi},
title = {Effective Test Case Selection for Component Customization and its Application to Enterprise JavaBeans: Research Articles},
journal = {Software Testing, Verification and Reliability},
year = {2004},
month = {March},
volume = {14},
number = {1},
pages = {45-70}
} |
| 603 | Konstantinos Adamopoulos and Mark Harman and Robert M. Hierons
How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO'04)Seattle, Washington, USA, 26th-30th, June 2004. |
|
| | Abstract: The use of Genetic Algorithms in evolution of mutants and test cases offers new possibilities in addressing some of the main problems of mutation testing. Most specifically the problem of equivalent mutant detection, and the problem of the large number of mutants produced. In this paper we describe the above problems in detail and introduce a new methodology based on co-evolutionary search techniques using Genetic Algorithms in order to address them effectively. Co-evolution allows the parallel evolution of mutants and test cases. We discuss the advantages of this approach over other existing mutation testing techniques, showing details of some initial experimental results carried out. |
| | @INPROCEEDINGS{AdamopoulosHH04,
author = {Konstantinos Adamopoulos and Mark Harman and Robert M. Hierons},
title = {How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-evolution},
booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference (GECCO'04)},
year = {2004},
address = {Seattle, Washington, USA},
month = {26th-30th, June},
pages = {1338-1349}
} |
| 604 | Robert Nilsson and Jeff Offutt and Sten F. Andler
Mutation-Based Testing Criteria for Timeliness
28th International Computer Software and Applications Conference {(COMPSAC} 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, 2004. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{nilsson_other_04,
author = {Robert Nilsson and Jeff Offutt and Sten F. Andler},
title = {Mutation-Based Testing Criteria for Timeliness},
booktitle = {28th International Computer Software and Applications Conference {(COMPSAC} 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings},
year = {2004},
address = {},
month = {},
pages = {306--311}
} |
| 605 | Anna Derezi\'nska
Object-oriented Mutation to Assess the Quality of Tests
Proceedings of the 29th Euromicro ConferenceBelek, Turkey, 1-6 September 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Derezinska03,
author = {Anna Derezi\'nska},
title = {Object-oriented Mutation to Assess the Quality of Tests},
booktitle = {Proceedings of the 29th Euromicro Conference},
year = {2003},
address = {Belek, Turkey},
month = {1-6 September},
pages = {417- 420}
} |
| 606 | Simon Carter and Malcolm Graham and Paul Strooper and Zhiguo Yuan
Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models
Proceedings of the 26th Australasian Computer Science Conference (ACSC'03)Adelaide, Australia, 4-7 February 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{CarterGSY03,
author = {Simon Carter and Malcolm Graham and Paul Strooper and Zhiguo Yuan},
title = {Mutation Analysis to Verify Feature Matrices for Isolating Errors in Simulation Models},
booktitle = {Proceedings of the 26th Australasian Computer Science Conference (ACSC'03)},
year = {2003},
address = {Adelaide, Australia},
month = {4-7 February},
pages = {29 - 34}
} |
| 607 | K. S. How Tai Wah
An Analysis of the Coupling Effect I: Single Test Data
Science of Computer Programming, 48(2-3), August-September 2003. |
|
| | Abstract: The focus in mutation testing is on the elimination of first-order mutants. It is widely believed that there is a coupling effect between first-order and higher-order mutants such that a test set that kills the former would be expected to kill the latter too; it follows that, if the belief is correct, there is no need whatsoever to bother with higher-order mutants. It turns out, in practice, that most higher-order mutants do get killed by such a test set, though a few somehow manage to survive.
This is the first of two papers dealing with the coupling effect from a theoretical standpoint. The overall results indicate that the hypothesis of a coupling effect is largely valid, provided the program is not too large; only a tiny proportion of higher-order mutants is expected to survive a test set that kills all first-order mutants. The basis of the approach is that programs can be modelled as compositions of finite functions, the domain of which is assumed to be large.
The problem is a complex one, so the present paper only considers the case where there is just one test data; the case where there are more than one test data is left to a second paper. The aim is not only to show that the coupling effect actually exists, but also to gain some understanding of the various factors underlying it. |
| | @ARTICLE{Wah03,
author = {K. S. How Tai Wah},
title = {An Analysis of the Coupling Effect I: Single Test Data},
journal = {Science of Computer Programming},
year = {2003},
month = {August-September},
volume = {48},
number = {2-3},
pages = {119-161}
} |
| 608 | Emilio Gaudette and Michael Moussa and Ian G.Harris
A Method for the Evaluation of Behavioral Fault Models
Proceedings of the 8th IEEE International Workshop on High-Level Design Validation and Test Workshop, 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GaudetteMH03,
author = {Emilio Gaudette and Michael Moussa and Ian G.Harris},
title = {A Method for the Evaluation of Behavioral Fault Models},
booktitle = {Proceedings of the 8th IEEE International Workshop on High-Level Design Validation and Test Workshop},
year = {2003},
address = {},
month = {},
pages = {169}
} |
| 609 | Ronald Finkbine
Usage of Mutation Testing as a Measure of Test Suite Robustness
Proceedings of the 22nd Digital Avionics Systems Conference (DASC '03), 12-16 October 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Finkbine03,
author = {Ronald Finkbine},
title = {Usage of Mutation Testing as a Measure of Test Suite Robustness},
booktitle = {Proceedings of the 22nd Digital Avionics Systems Conference (DASC '03)},
year = {2003},
address = {},
month = {12-16 October},
pages = {12-16}
} |
| 610 | Bernhard K. Aichernig
Mutation Testing in the Refinement Calculus
Formal Aspects of Computing, 15(2-3), November 2003. |
|
| | Abstract: This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage. |
| | @ARTICLE{Aichernig03,
author = {Bernhard K. Aichernig},
title = {Mutation Testing in the Refinement Calculus},
journal = {Formal Aspects of Computing},
year = {2003},
month = {November},
volume = {15},
number = {2-3},
pages = {280-295}
} |
