The Role of Model-Based Testing
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.
Permanent Research Commons link: http://hdl.handle.net/10289/1735
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.