Abstract
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.
Type
Conference Contribution
Type of thesis
Series
Citation
Utting, M.(2008). The Role of Model-Based Testing. In Proceeding of First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005(pp. 510-517). Berlin: Springer.
Date
2008
Publisher
Springer