Model learning Page 1 86 COMMUNICATIONS OF THE ACM | FEBRUARY 2017 | VOL. 60 |
NO. 2 review articles DOI:10.1145/2967606 Model learning emerges as an effective method …

In this paper, we present LearnLib, a library for active automata learning. The current, open-
source version of LearnLib was completely rewritten from scratch, incorporating the lessons …

We present DIME, an integrated solution for the rigorous model-driven development of
sophisticated web applications based on the Dynamic Web Application (DyWA) framework …

Software testing has often to be done under severe pressure due to limited resources and a
challenging time schedule facing the demand to assure the fulfillment of the software …

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 …

With the heterogeneity of the industry 4.0 world, and more generally of the Cyberphysical
Systems realm, the quest towards a platform approach to solve the interoperability problem …

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 …

The wealth of model-based techniques in software engineering—such as model checking or
model-based testing—is starkly contrasted with a frequent lack of formal models in practical …

The openness of modern IT systems and their permanent change make it challenging to
keep these systems secure. A combination of regression and security testing called security …

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 …