| 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}
} |
| 611 | Michael R. Lyu and Zubin Huang and Sam K. S. Sze and Xia Cai
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03)Denver,Colorado, 17-20 November 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LyuHC03,
author = {Michael R. Lyu and Zubin Huang and Sam K. S. Sze and Xia Cai},
title = {An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering},
booktitle = {Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE'03)},
year = {2003},
address = {Denver,Colorado},
month = {17-20 November},
pages = {119- 130}
} |
| 612 | Jo{\~{a}}o Dur{\~{a}}es and Henrique Madeira
Definition of Software Fault Emulation Operators: {A} Field Data Study
2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{duraes_other_03,
author = {Jo{\~{a}}o Dur{\~{a}}es and Henrique Madeira},
title = {Definition of Software Fault Emulation Operators: {A} Field Data Study},
booktitle = {2003 International Conference on Dependable Systems and Networks {(DSN} 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings},
year = {2003},
address = {},
month = {},
pages = {105--114}
} |
| 613 | Yunzhan Gong and Wanli Xu and Xiaowei Li
An Expression's Single Fault Model and the Testing Methods
Proceedings of the 12th Asian Test Symposium (ATS'03)Xian, China, 16-19 November 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{GongXL03,
author = {Yunzhan Gong and Wanli Xu and Xiaowei Li},
title = {An Expression's Single Fault Model and the Testing Methods},
booktitle = {Proceedings of the 12th Asian Test Symposium (ATS'03)},
year = {2003},
address = {Xian, China},
month = {16-19 November},
pages = {110}
} |
| 614 | James H. Andrews and Yingjun Zhang
General Test Result Checking with Log File Analysis
{IEEE} Trans. Software Eng., 29(7), 2003. |
|
| | Abstract: Available soon... |
| | @ARTICLE{andrews_TSE_03,
author = {James H. Andrews and Yingjun Zhang},
title = {General Test Result Checking with Log File Analysis},
journal = {{IEEE} Trans. Software Eng.},
year = {2003},
month = {},
volume = {29},
number = {7},
pages = {634--648}
} |
| 615 | T. Y. Chen and T. H. Tse and Zhiquan Zhou
Fault-based Testing Without the Need of Oracles
Information and Software Technology, 45(1), January 2003. |
|
| | Abstract: There are two fundamental limitations in software testing, known as the reliable test set problem and the oracle problem. Fault-based testing is an attempt by Morell to alleviate the reliable test set problem. In this paper, we propose to enhance fault-based testing to alleviate the oracle problem as well. We present an integrated method that combines metamorphic testing with fault-based testing using real and symbolic inputs. |
| | @ARTICLE{ChenTZ03,
author = {T. Y. Chen and T. H. Tse and Zhiquan Zhou},
title = {Fault-based Testing Without the Need of Oracles},
journal = {Information and Software Technology},
year = {2003},
month = {January},
volume = {45},
number = {1},
pages = {1-9}
} |
| 616 | Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack
Challenging Formal Specifications by Mutation: a CSP Security Example
Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)Chiang Mai, Thailand, 10-12 December 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{SrivatanakulCSP03,
author = {Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack},
title = {Challenging Formal Specifications by Mutation: a CSP Security Example},
booktitle = {Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)},
year = {2003},
address = {Chiang Mai, Thailand},
month = {10-12 December},
pages = {340–350}
} |
| 617 | Ian G. Harris
Fault Models and Test Generation for Hardware-Software Covalidation
IEEE Design & Test, 20(4), July 2003. |
|
| | Abstract: The increasing use of hardware-software systems in cost-critical and life-critical applications has led to heightened
significance of design correctness of these systems. This article presents a summary of research in test generation and fault
models to support hardware-software covalidation. The covalidation problem involves the verification of design correctness
using simulation-based techniques. The article focuses on the test generation process for hardware-software systems and the
fault models which support test generation. |
| | @ARTICLE{Harris03,
author = {Ian G. Harris},
title = {Fault Models and Test Generation for Hardware-Software Covalidation},
journal = {IEEE Design & Test},
year = {2003},
month = {July},
volume = {20},
number = {4},
pages = {2003}
} |
| 618 | Willem Visser and Klaus Havelund and Guillaume P. Brat and Seungjoon Park and Flavio Lerda
Model Checking Programs
Autom. Softw. Eng., 10(2), 2003. |
|
| | Abstract: Available soon... |
| | @ARTICLE{visser_JPF,
author = {Willem Visser and Klaus Havelund and Guillaume P. Brat and Seungjoon Park and Flavio Lerda},
title = {Model Checking Programs},
journal = {Autom. Softw. Eng.},
year = {2003},
month = {},
volume = {10},
number = {2},
pages = {203--232}
} |
| 619 | Peter May and Keith Mander and Jon Timmis
Software Vaccination: An Artificial Immune System Approach to Mutation Testing
Proceedings of the 2nd International Conference Artificial Immune Systems (ICARIS'03), 1-3 September 2003. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{MayMT03,
author = {Peter May and Keith Mander and Jon Timmis},
title = {Software Vaccination: An Artificial Immune System Approach to Mutation Testing},
booktitle = {Proceedings of the 2nd International Conference Artificial Immune Systems (ICARIS'03)},
year = {2003},
address = {},
month = {1-3 September},
pages = {81-92}
} |
| 620 | Robert M. Hierons
Comparing Test Sets and Criteria in the Presence of Test Hypotheses and Fault Domains
ACM Transactions on Software Engineering and Methodology, 11(4), October 2002. |
|
| | Abstract: A number of authors have considered the problem of comparing test sets and criteria. Ideally test sets are compared using a preorder with the property that test set T1 is at least as strong as T2 if whenever T2 determines that an implementation p is faulty, T1 will also determine that p is faulty. This notion can be extended to test criteria. However, it has been noted that very few test sets and criteria are comparable under such an ordering; instead orderings are based on weaker properties such as subsumes. This article explores an alternative approach, in which comparisons are made in the presence of a test hypothesis or fault domain. This approach allows strong statements about fault detecting ability to be made and yet for a number of test sets and criteria to be comparable. It may also drive incremental test generation. |
| | @ARTICLE{Hierons02,
author = {Robert M. Hierons},
title = {Comparing Test Sets and Criteria in the Presence of Test Hypotheses and Fault Domains},
journal = {ACM Transactions on Software Engineering and Methodology},
year = {2002},
month = {October},
volume = {11},
number = {4},
pages = {427-448}
} |
