Model Based Testing with Labelled Transition Systems

  title={Model Based Testing with Labelled Transition Systems},
  author={Jan Tretmans},
  booktitle={Formal Methods and Testing},
Model based testing is one of the promising technologies to meet the challenges imposed on software testing. In model based testing an implementation under test is tested for compliance with a model that describes the required behaviour of the implementation. This tutorial chapter describes a model based testing theory where models are expressed as labelled transition systems, and compliance is defined with the ‘ioco’ implementation relation. The ioco-testing theory, on the one hand, provides a… CONTINUE READING

11 Figures & Tables



Citations per Year

363 Citations

Semantic Scholar estimates that this publication has 363 citations based on the available data.

See our FAQ for additional information.