Active automata learning is slowly becoming a standard tool in the toolbox of the software
engineer. As systems become ever more complex and development becomes more …

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 learning is a black-box technique for constructing state machine models of
software and hardware components, which has been successfully used in areas such as …

After a number of success stories in safety‐critical domains, we are starting to witness
applications of formal methods in contemporary systems and software engineering …

Web applications define the interface to many of the businesses and services that we
interact with and use on a daily basis. The technology stack enabling these applications is …

In order to improve the development process of highintegrity systems, using formal methods,
we consider how agile techniques may influence the Event-B formal method, and how Event …

We present a model-based testing approach for reactive systems where both test inputs and
expected results are generated fromrestricted'Event-B specifications. We show that it is …

We propose an approach which, given a state-transition model of a system, constructs, in
parallel, an approximate automaton model and a test suite for the system. The approximate …

Event-B is a formal method for reliable systems specification and verification, which uses
model refinement and decomposition as techniques to scale the design of complex systems …

Event-B is an industrial-strength specification language for verifying the properties of a given
system's specification. It is supported by its Eclipse-based IDE, Rodin, and uses the process …