Hybrid test of web applications with webtest. - Harald Raffelt; Tiziana Margaria; Bernhard Steffen; Maik Merten (TAV-WEB, 2008)

Dynamic testing via automata learning. - Harald Raffelt; Maik Merten; Bernhard Steffen; Tiziana Margaria (Int. J. Softw. Tools Technol. Transf., 2009)

On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. - Falk Howar; Bengt Jonsson 001; Maik Merten; Bernhard Steffen; Sofia Cassel (ISoLA (2), 2010)

From ZULU to RERS - Lessons Learned in the ZULU Challenge. - Falk Howar; Bernhard Steffen; Maik Merten (ISoLA (1), 2010)

The Teachers' Crowd: The Impact of Distributed Oracles on Active Automata Learning. - Falk Howar; Oliver Bauer; Maik Merten; Bernhard Steffen; Tiziana Margaria (ISoLA Workshops, 2011)

Automata Learning with On-the-Fly Direct Hypothesis Construction. - Maik Merten; Falk Howar; Bernhard Steffen; Tiziana Margaria (ISoLA Workshops, 2011)

Introduction to Active Automata Learning from a Practical Perspective. - Bernhard Steffen; Falk Howar; Maik Merten (SFM, 2011)

Next Generation LearnLib. - Maik Merten; Bernhard Steffen; Falk Howar; Tiziana Margaria (TACAS, 2011)

Automata Learning with Automated Alphabet Abstraction Refinement. - Falk Howar; Bernhard Steffen; Maik Merten (VMCAI, 2011)

Automated continuous quality assurance. - Johannes Neubauer; Bernhard Steffen; Oliver Bauer; Stephan Windmüller; Maik Merten; Tiziana Margaria; Falk Howar (FormSERA@ICSE, 2012)

Rehasport: The Challenge of Small Margin Healthcare Accounting. - Markus Doedt; Thomas Göke; Jan Pardo; Maik Merten (ISoLA (Revised Selected Papers), 2012)

LearnLib Tutorial: From Finite Automata to Register Interface Programs. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen (ISoLA (1), 2012)

The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001 (ISoLA (1), 2012)

Automated Inference of Models for Black Box Systems Based on Interface Descriptions. - Maik Merten; Falk Howar; Bernhard Steffen; Patrizio Pelliccione; Massimo Tivoli (ISoLA (1), 2012)

Automated Learning Setups in Automata Learning. - Maik Merten; Malte Isberner; Falk Howar; Bernhard Steffen; Tiziana Margaria (ISoLA (1), 2012)

Demonstrating Learning of Register Automata. - Maik Merten; Falk Howar; Bernhard Steffen; Sofia Cassel; Bengt Jonsson 001 (TACAS, 2012)

Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. - Antonia Bertolino; Antonello Calabrò; Maik Merten; Bernhard Steffen (ERCIM News, 2012)

Simplicity Driven Application Development. - Maik Merten; Bernhard Steffen (J. Integr. Des. Process. Sci., 2013)

Active automata learning for real life applications. - Maik Merten (2013)

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. - Falk Howar; Malte Isberner; Maik Merten; Bernhard Steffen; Dirk Beyer 001; Corina S. Pasareanu (Int. J. Softw. Tools Technol. Transf., 2014)

A succinct canonical register automaton model. - Sofia Cassel; Falk Howar; Bengt Jonsson 001; Maik Merten; Bernhard Steffen (J. Log. Algebraic Methods Program., 2015)

VITMaze - Die Java Coding-Challenge für Verwaltungsinformatiker. - Patrick Stalljohann; Maik Merten (DeLFI, 2020)