@inproceedings{dbc06dd85e184b54bee0a2bab048cab2,
title = "Heuristics for ioco-based test-based modelling",
abstract = "Model-based conformance testing provides a mathematically sound technique to assess the quality of systems and check the correctness of a system with respect to a model. Most systems, however, are built or modified without documenting the (new) specifications, thereby limiting the use of model-based testing techniques. In this paper, we describe a method to obtain models automatically from an existing system, using model-based testing techniques relying on ioco-based testing. These models are useful for e.g. regression testing, or for the testing of different configurations of systems. We illustrate the effectiveness of our approach using a case-study in which we test mutants of the system against models that have been automatically extracted from the (correct) system.",
author = "T.A.C. Willemse",
year = "2007",
doi = "10.1007/978-3-540-70952-7_9",
language = "English",
isbn = "978-3-540-70951-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "132--147",
editor = "L. Brim and B.R. Haverkort and M. Leucker and {Pol, van de}, J. and B. Haverkort",
booktitle = "Proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 11) and 5th International Workshop on Parallel and Distributed Methods in Verification (PDMC 5) 26-27 August 2006 and 31 August 2006, Bonn, Germany",
address = "Germany",
note = "conference; FMICS 11, PFMC 5, Bonn, Germany; 2006-08-26; 2006-08-31 ; Conference date: 26-08-2006 Through 31-08-2006",
}