Model-Driven Active Automata Learning with LearnLib Studio

We present our reboot of LearnLib Studio, formerly being a part of the Next Generation LearnLib (NGLL) framework for model-based construction of automata learning solutions. The new version of LearnLib Studio is a from-scratch re-implementation, which is based on an improved open-source realization of LearnLib as well as our latest version of the jABC framework (jABC4) for model-driven, service-oriented development of applications with recently added support for type-safe higher-order process modeling. Our all new version of LearnLib Studio provides an easy way to enable even users who do not necessarily have programming expertise to use and extend dedicated learning solutions with minimal manual effort. We illustrate the tool by applying automata learning to a concrete web service following the Representational State Transfer (REST) paradigm.