Structural test coverage criteria for lustre programs
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Automated, contract-based user testing of commercial-off-the-shelf components
Proceedings of the 28th international conference on Software engineering
An industrial case study of structural testing applied to safety-critical embedded software
Proceedings of the 2006 ACM/IEEE international symposium on Empirical software engineering
Automated test generation for access control policies
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Test automation for hybrid systems
Proceedings of the 3rd international workshop on Software quality assurance
A state-based approach to integration testing based on UML models
Information and Software Technology
MC/DC automatic test input data generation
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
Using coverage to automate and improve test purpose based testing
Information and Software Technology
A Framework for Testing Semantic Web Services Using Model Checking
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
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
Proceedings of the 6th International Workshop on Automation of Software Test
Database state generation via dynamic symbolic execution for coverage criteria
Proceedings of the Fourth International Workshop on Testing Database Systems
Grammar-based test generation for software product line feature models
CASCON '12 Proceedings of the 2012 Conference of the Center for Advanced Studies on Collaborative Research
Model transformation impact on test artifacts: an empirical study
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Journal of Systems and Software
Accelerated model-based robustness testing of state machine implementations
ACM SIGAPP Applied Computing Review
| Hi-index | 0.00 |
A large number of coverage criteria to generate testsfrom logical expressions have been proposed. Althoughthere have been large variations in the terminology, thearticulation of the criteria and the original source ofthe expressions, many of these criteria are fundamentallythe same. The most commonly known and widelyused criterion is that of Modified Condition DecisionCoverage (MCDC), but some articulations of MCDChave had some ambiguities. This has led to confusionon the part of testers, students, and tool developers onhow best to implement these test criteria. This paperpresents a complete comprehensive set of criteriathat incorporate all the existing criteria, and eliminatesthe ambiguities by introducing precise definitions of thevarious possibilities.