Program Slicing for ATPG-Based Property Checking
VLSID '04 Proceedings of the 17th International Conference on VLSI Design
Controlling test case explosion in test generation from B formal models: Research Articles
Software Testing, Verification & Reliability
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Symbolic test case generation for primitive recursive functions
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Improving tests infrastructure through a model-based approach
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.