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. © IFIP International Federation for Information Processing 2008.
CITATION STYLE
Utting, M. (2008). The role of model-based testing. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4171 LNCS, pp. 510–517). https://doi.org/10.1007/978-3-540-69149-5_56
Mendeley helps you to discover research relevant for your work.