Utting, Mark2009-01-052009-01-052008Utting, 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.https://hdl.handle.net/10289/1735This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.encomputer scienceConference Contribution10.1007/978-3-540-69149-5_56