@inproceedings{3885bb76f07b4cc893549675adad4e9d,
title = "ALEX: Mixed-mode learning of web applications at ease",
abstract = "In this paper, we present ALEX, a web application that enables non-programmers to fully automatically infer models of web applications via active automata learning. It guides the user in setting up dedicated learning scenarios, and invites her to experiment with the available options in order to infer models at adequate levels of abstraction. In the course of this process, characteristics that go beyond a mere “site map” can be revealed, such as hidden states that are often either specifically designed or indicate errors in the application logic. Characteristic for ALEX is its support for mixed-mode learning: REST and web services can be executed simultaneously in one learning experiment, which is ideal when trying to compare back-end and front-end functionality of a web application. ALEX has been evaluated in a comparative study with 140 undergraduate students, which impressively highlighted its potential to make formal methods like active automata learning more accessible to a non-expert crowd.",
keywords = "Active automata learning, Mixed-mode learning, Specification mining, Web applications, Web services",
author = "Alexander Bainczyk and Alexander Schieweck and Malte Isberner and Tiziana Margaria and Johannes Neubauer and Bernhard Steffen",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.",
year = "2016",
doi = "10.1007/978-3-319-47169-3_51",
language = "English",
isbn = "9783319471686",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "655--671",
editor = "Bernhard Steffen and Tiziana Margaria",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
}