A Theory of Fault-Based Testing
IEEE Transactions on Software Engineering
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Constraint-Based Automatic Test Data Generation
IEEE Transactions on Software Engineering
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Reducing the cost of mutation testing: an empirical study
Journal of Systems and Software
Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
An analysis of the coupling effect I: single test data
Science of Computer Programming
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal analysis of MCDC and RCDC test criteria: Research Articles
Software Testing, Verification & Reliability
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal Aspects of Computing
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Journal of Systems and Software
Adaptive Random Testing: The ART of test case diversity
Journal of Systems and Software
A revisit of fault class hierarchies in general boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Fault class prioritization in Boolean expressions
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
Fault-based testing of software checks the software implementation for a set of faults. Two previous papers on fault-based testing [Kuhn 1999; Tsuchiya and Kikuno 2002] represent the required behavior of the software as a Boolean specification represented in Disjunctive Normal Form (DNF) and then show that faults may be organized in a hierarchy. This article extends these results by identifying necessary and sufficient conditions for fault-based testing. Unlike previous solutions, the formal analysis used to derive these conditions imposes no restrictions (such as DNF) on the form of the Boolean specification.