Publication:
The Role of Model-Based Testing

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.

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.

Series name

Date

Publisher

Springer

Degree

Type of thesis

Supervisor

DOI

Link to supplementary material

Research Projects

Organizational Units

Journal Issue