Software testing involves probing into the behavior of software systems to uncover faults.
Most testing activities are complex and costly, so a practical strategy that has been adopted …

We describe a large collection of benchmarks, publicly available through the wiki automata.
cs. ru. nl, of different types of state machine models: DFAs, Moore machines, 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 …

Software systems are present all around us and playing their vital roles in our daily life. The
correct functioning of these systems is of prime concern. In addition to classical testing …

Using an adaptation of state-of-the-art algorithms for black-box automata learning, as
implemented in the LearnLib tool, we succeeded to learn a model of the Engine Status …

Many companies struggle with large amounts of legacy software that is difficult to maintain
and to extend. Refactoring legacy code typically requires large efforts and introduces …

Learning-enabled controllers (LECs) pose severe challenges to verification. Their decisions
often come from deep neural networks that are hard to interpret and verify, and they operate …

Designing a traffic light system can be a challenging task. Several factors should be taken
into account. Neglecting some of these factors can cause the traffic light to be inefficient by …

More than a few aspects should be taken into consideration when drawing up plans for a
traffic light system. If the planners disregard some of these aspects, the traffic light might be …

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