Complementary Criteria for Testing Temporal Logic Properties
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Structural coverage of feasible code
Proceedings of the 5th Workshop on Automation of Software Test
Security mutants for property-based testing
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Enhancing structural software coverage by incrementally computing branch executability
Software Quality Control
Graded CTL model checking for test generation
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Model-based coverage-driven test suite generation for software product lines
Proceedings of the 14th international conference on Model driven engineering languages and systems
Applying formal methods to PCEP: an industrial case study from modeling to test generation
Software Testing, Verification & Reliability
From model-checking to automated testing of security protocols: bridging the gap
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Incremental model-based testing of delta-oriented software product lines
TAP'12 Proceedings of the 6th international conference on Tests and Proofs
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
State of the art: Dynamic symbolic execution for automated test generation
Future Generation Computer Systems
| Hi-index | 0.00 |
About a decade after the initial proposal to use model checkers for the generation of test cases we take a look at the results in this field of research. Model checkers are formal verification tools, capable of providing counterexamples to violated properties. Normally, these counterexamples are meant to guide an analyst when searching for the root cause of a property violation. They are, however, also very useful as test cases. Many different approaches have been presented, many problems have been solved, yet many issues remain. This survey paper reviews the state of the art in testing with model checkers. Copyright © 2008 John Wiley & Sons, Ltd.