A Fortran language system for mutation-based software testing
Software—Practice & Experience
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Coverage Criteria for Logical Expressions
ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
MuJava: an automated class mutation system: Research Articles
Software Testing, Verification & Reliability
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions
CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Introduction to Software Testing
Introduction to Software Testing
Reconciling perspectives of software logic testing
Software Testing, Verification & Reliability
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
Generating Minimal Fault Detecting Test Suites for Boolean Expressions
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Applications of Optimization to Logic Testing
ICSTW '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops
Reducing logic test set size while preserving fault detection
Software Testing, Verification & Reliability
An Analysis and Survey of the Development of Mutation Testing
IEEE Transactions on Software Engineering
Journal of Systems and Software
Hi-index | 0.00 |
Mutation testing is widely recognized as being extremely powerful, but is considered difficult to automate enough for practical use. This paper theoretically addresses two possible reasons for this: the generation of redundant mutants and the lack of integration of mutation analysis with other test criteria. By addressing these two issues, this paper brings an important mutation operator, relational-operator-replacement (ROR), closer to practical use. First, we develop fault hierarchies for the six relational operators, each of which generates seven mutants per clause. These hierarchies show that, for any given clause, only three mutants are necessary. This theoretical result can be integrated easily into mutation analysis tools, thereby eliminating generation of 57% of the ROR mutants. Second, we show how to bring the power of the ROR operator to the widely used Multiple Condition-Decision Coverage (MCDC) test criterion. This theoretical result includes an algorithm to transform any MCDC-adequate test set into a test set that also satisfies RORG, a new version of ROR appropriate for the MCDC context. The transformation does not use traditional mutation analysis, so can easily be integrated into existing MCDC tools and processes.