Theory of Fault-Based Predicate Testing for Computer Programs
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Sensitive test data for logic expressions
ACM SIGSOFT Software Engineering Notes
On fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Applicability of Non-Specification-Based Approaches to Logic Testing for Software
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
An extended fault class hierarchy for specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
Journal of Systems and Software - Special issue: Quality software
| Hi-index | 0.00 |
Test data selection for software represented as Boolean formulae has not received much attention until the last decade. Most of the approaches are expression driven because generation of test cases is based on the Boolean formulae being tested. The paper discusses test data generation using a fault based approach in the sense that generation of test cases is based on particular types of faults occurring in the Boolean expression. Two special types of faults are considered. Moreover, two strategies of test case selection that guarantee the detection of these two types of faults are proposed.