Maik Merten
Maik Merten
Teacher, Federal University of Applied Administrative Sciences
Verified email at tu-dortmund.de - Homepage
Title
Cited by
Cited by
Year
Introduction to active automata learning from a practical perspective
B Steffen, F Howar, M Merten
International School on Formal Methods for the Design of Computer …, 2011
1262011
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
International Conference on Tools and Algorithms for the Construction and …, 2011
872011
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
International Workshop on Verification, Model Checking, and Abstract …, 2011
812011
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11 (4), 307, 2009
782009
From zulu to rers
F Howar, B Steffen, M Merten
International Symposium On Leveraging Applications of Formal Methods …, 2010
472010
The RERS grey-box challenge 2012: analysis of event-condition-action systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer
International Symposium On Leveraging Applications of Formal Methods …, 2012
392012
A succinct canonical register automaton model
S Cassel, F Howar, B Jonsson, M Merten, B Steffen
International Symposium on Automated Technology for Verification and …, 2011
392011
Hybrid test of web applications with webtest
H Raffelt, T Margaria, B Steffen, M Merten
Proceedings of the 2008 workshop on Testing, analysis, and verification of …, 2008
322008
Rigorous examination of reactive systems
F Howar, M Isberner, M Merten, B Steffen, D Beyer, CS Păsăreanu
International Journal on Software Tools for Technology Transfer 16 (5), 457-464, 2014
312014
On handling data in automata learning
F Howar, B Jonsson, M Merten, B Steffen, S Cassel
International Symposium On Leveraging Applications of Formal Methods …, 2010
262010
Never-stop learning: Continuous validation of learned models for evolving systems through monitoring
A Bertolino, A Calabrò, M Merten, B Steffen
202012
Demonstrating learning of register automata
M Merten, F Howar, B Steffen, S Cassel, B Jonsson
International Conference on Tools and Algorithms for the Construction and …, 2012
182012
A succinct canonical register automaton model
S Cassel, F Howar, B Jonsson, M Merten, B Steffen
Journal of Logical and Algebraic Methods in Programming 84 (1), 54-66, 2015
172015
Automated inference of models for black box systems based on interface descriptions
M Merten, F Howar, B Steffen, P Pellicione, M Tivoli
International Symposium On Leveraging Applications of Formal Methods …, 2012
162012
Automata learning with on-the-fly direct hypothesis construction
M Merten, F Howar, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2011
152011
The teachers’ crowd: the impact of distributed oracles on active automata learning
F Howar, O Bauer, M Merten, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2011
132011
Active automata learning for real life applications
M Merten
122013
Automated learning setups in automata learning
M Merten, M Isberner, F Howar, B Steffen, T Margaria
International Symposium On Leveraging Applications of Formal Methods …, 2012
122012
LearnLib tutorial: from finite automata to register interface programs
F Howar, M Isberner, M Merten, B Steffen
International Symposium On Leveraging Applications of Formal Methods …, 2012
112012
Automated continuous quality assurance
J Neubauer, B Steffen, O Bauer, S Windmüller, M Merten, T Margaria, ...
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
112012
The system can't perform the operation now. Try again later.
Articles 1–20