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
1472011
Next generation learnlib
M Merten, B Steffen, F Howar, T Margaria
International Conference on Tools and Algorithms for the Construction and …, 2011
892011
Automata learning with automated alphabet abstraction refinement
F Howar, B Steffen, M Merten
International Workshop on Verification, Model Checking, and Abstract …, 2011
882011
Dynamic testing via automata learning
H Raffelt, M Merten, B Steffen, T Margaria
International journal on software tools for technology transfer 11 (4), 307-324, 2009
802009
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
442012
From zulu to rers
F Howar, B Steffen, M Merten
International Symposium On Leveraging Applications of Formal Methods …, 2010
422010
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
402011
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
372014
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
342008
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
ERCIM News 2012 (88), 2012
212012
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
202015
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
192012
Active automata learning for real life applications
M Merten
172013
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
172012
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
162011
From ZULU to RERS Lessons learned in the ZULU challenge
BS Falk Howar, M Merten
152010
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
142011
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
132012
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
132012
The system can't perform the operation now. Try again later.
Articles 1–20