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)
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
The dynamic domain reduction procedure for test data generation
Software—Practice & Experience
Mutation testing for the new century
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
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
An Empirical Study on the Effectiveness of the Greedy MUTP Strategy
SEEP '98 Proceedings of the 1998 International Conference on Software Engineering: Education & Practice
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
Weak Mutation Testing and Completeness of Test Sets
IEEE Transactions on Software Engineering
Error Sensitive Test Cases Analysis (ESTCA)
IEEE Transactions on Software Engineering
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
Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Double Fault Detection
ICSTW '09 Proceedings of the IEEE International Conference on Software Testing, Verification, and Validation Workshops
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
Mutation-driven generation of unit tests and oracles
Proceedings of the 19th international symposium on Software testing and analysis
Efficient multi-objective higher order mutation testing with genetic programming
Journal of Systems and Software
Test generation via Dynamic Symbolic Execution for mutation testing
ICSM '10 Proceedings of the 2010 IEEE International Conference on Software Maintenance
Proceedings of the 6th International Workshop on Automation of Software Test
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
Hi-index | 0.00 |
Logic-based testers design tests from logical expressions that appear in software artifacts such as source code, design models, and requirements specifications. This paper presents three improvements to logic-based test design. First, in the context of mutation testing, we present fault hierarchies for the six relational operators. Applying the ROR mutation operator causes each relational operator to generate seven mutants per clause. The fault hierarchies show that only three of these seven mutants are needed. Second, we show how to bring the power of the ROR operator to logic-based test criteria such as the widely used Multiple Condition-Decision Coverage (MCDC) test criterion. Third, we present theoretical results supported by empirical data that show that the more recent coverage criterion of minimal-MUMCUT can find significantly more faults than MCDC. The paper has three specific recommendations: (1) Change the way the ROR mutation operator is defined in existing and future mutation systems. (2) Augment logic-based test criteria to incorporate relational operator replacement from mutation. (3) Replace the use of MCDC with minimal-MUMCUT, both in practice and in standards documents like FAA-DO178B.