Links are established between three widely used modeling frameworks for reactive systems:
the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy …

We present a survey of the recent research efforts in integrating model learning with model-
based testing. We distinguished two strands of work in this domain, namely test-based …

Abstract Model-based testing is a promising software testing technique for the automation of
test generation and test execution. One obstacle to its adoption is the difficulty of develo** …

We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco
theory. This theory, originally presented in [12], has been refined in [13] with test-cases that …

Abstract Model-based testing is one of the promising technologies to increase the efficiency
and effectiveness of software testing. In model-based testing, a model specifies the required …

Using a well-known industrial case study from the verification literature, the bounded
retransmission protocol, we show how active learning can be used to establish the …

1 Introduction stakeholders like customers, product managers, designers, developers and
users of the application domain. Moreover, models facilitate verification and validation …

This paper provides a comprehensive introduction to a framework for formal testing using
labelled transition systems, based on an extension and reformulation of the ioco theory …

Using a well-known industrial case study from the verification literature, the bounded
retransmission protocol, we show how active learning can be used to establish the …

Input languages, which describe the set of valid inputs an application has to handle, play a
central role in language-theoretic security, in recognition of the fact that overly complex …