Axiomatizing software test data adequacy
IEEE Transactions on Software Engineering
The evaluation of program-based software test data adequacy criteria
Communications of the ACM
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
A Fortran language system for mutation-based software testing
Software—Practice & Experience
Comparison of program testing strategies
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Investigations of the software testing coupling effect
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Test data adequacy measurement
Software Engineering Journal
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing
IEEE Transactions on Software Engineering
On Minimizing the Lengths of Checking Sequences
IEEE Transactions on Computers
Fault classes and error detection capability of specification-based testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
A Formal Analysis of the Fault-Detecting Ability of Testing Methods
IEEE Transactions on Software Engineering
Provable Improvements on Branch Testing
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria
IEEE Transactions on Software Engineering
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Nondeterministic State Machines in Protocol Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Research: Construction of checking sequences based on characterization sets
Computer Communications
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)
Test conditions for fault classes in Boolean specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Testing data types implementations from algebraic specifications
Formal methods and testing
Comparing the effectiveness of testing techniques
Formal methods and testing
Testing techniques in software engineering
Testing techniques in software engineering
Programs, tests, and oracles: the foundations of testing revisited
Proceedings of the 33rd International Conference on Software Engineering
A logic for assessing sets of heterogeneous testing hypotheses
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Ordering mutants to minimise test effort in mutation testing
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Hi-index | 0.00 |
A number of authors have considered the problem of comparing test sets and criteria. Ideally test sets are compared using a preorder with the property that test set T1 is at least as strong as T2 if whenever T2 determines that an implementation p is faulty, T1 will also determine that p is faulty. This notion can be extended to test criteria. However, it has been noted that very few test sets and criteria are comparable under such an ordering; instead orderings are based on weaker properties such as subsumes. This article explores an alternative approach, in which comparisons are made in the presence of a test hypothesis or fault domain. This approach allows strong statements about fault detecting ability to be made and yet for a number of test sets and criteria to be comparable. It may also drive incremental test generation.