Evaluation of a predicate-based software testing strategy
IBM Systems Journal
Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
MUMCUT: A Fault-Based Strategy for Testing Boolean Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy
Journal of Systems and Software
On detecting faults for Boolean expressions
Software Quality Control
Fault-based test suite prioritization for specification-based testing
Information and Software Technology
Journal of Systems and Software
Hi-index | 0.00 |
A hardware failure analysis technique adapted to software yielded three rules for generating test cases sensitive to code errors. These rules, and a procedure for generating these cases, are given with examples. Areas for further study are recommended.