Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Two test data selection strategies towards testing of Boolean specifications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications 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
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
An evaluation of Boolean expression testing techniques
ACM SIGSOFT Software Engineering Notes
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions
Journal of Systems and Software - Special issue: Quality software
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A detectability analysis of fault classes for Boolean specifications
Proceedings of the 2008 ACM symposium on Applied computing
Automated Test Generation and Verified Software
Verified Software: Theories, Tools, Experiments
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
CHOC'LATE: a framework for specification-based testing
Communications of the ACM
On detecting double literal faults in Boolean expressions
Ada-Europe'07 Proceedings of the 12th international conference on Reliable software technologies
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Extending the fault classification hierarchy for software with relational operators
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
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
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Fault class prioritization in Boolean expressions
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.02 |
In a previous paper, Kuhn [1999] showed that faults in Boolean specifications constitute a hierarchy with respect to detectability, and drew the conclusion that missing condition faults should be hypothesized to generate tests. However this conclusion was premature, since the relationships between missing condition faults and faults in other classes have not been sufficiently analyzed. In this note, we investigate such relationships, aiming to complement the work of Kuhn. As a result, we obtain an extended hierarchy of fault classes and reach a different conclusion.