Heuristics for ioco-based test-based modelling

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

17 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings 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
EditorsL. Brim, B.R. Haverkort, M. Leucker, J. Pol, van de, B. Haverkort
Place of PublicationBerlin
ISBN (Print)978-3-540-70951-0
Publication statusPublished - 2007
Eventconference; FMICS 11, PFMC 5, Bonn, Germany; 2006-08-26; 2006-08-31 -
Duration: 26 Aug 200631 Aug 2006

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; FMICS 11, PFMC 5, Bonn, Germany; 2006-08-26; 2006-08-31
OtherFMICS 11, PFMC 5, Bonn, Germany


Dive into the research topics of 'Heuristics for ioco-based test-based modelling'. Together they form a unique fingerprint.

Cite this