An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Using Model Checking to Generate Tests from Specifications
ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods
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)
Comparing test sets and criteria in the presence of test hypotheses and fault domains
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)
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Automatic test selection based on CEFSM specifications
Acta Cybernetica
Detecting associative shift faults in predicate testing
Journal of Systems and Software
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions
QSIC '04 Proceedings of the Quality Software, Fourth International Conference
A flexible environment to evaluate state-based test techniques
ACM SIGSOFT Software Engineering Notes
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)
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
Information and Software Technology
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
Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
On detecting faults for Boolean expressions
Software Quality Control
Applying mutation analysis to SDL specifications
SDL'03 Proceedings of the 11th international conference on System design
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
Coverage criteria for state based specifications
Formal methods and testing
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
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
SP 800-142. Practical Combinatorial Testing
SP 800-142. Practical Combinatorial Testing
Fault class prioritization in Boolean expressions
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An experimental evaluation of weak-branch criterion for class testing
Journal of Systems and Software
Hi-index | 0.00 |
Some varieties of specification-based testing rely upon methods for generating test cases from predicates in a software specification. These methods derive various test conditions from logic expressions, with the aim of detecting different types of faults. Some authors have presented empirical results on the ability of specification-based test generation methods to detect failures. This article describes a method for cokmputing the conditions that must be covered by a test set for the test set to guarantee detection of the particular fault class. It is shown that there is a coverage hierarchy to fault classes that is consistent with, and may therefore explain, experimental results on fault-based testing. The method is also shown to be effective for computing MCDC-adequate tests.