Harald Raffelt

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Harald Raffelt, Bernhard Steffen, Therese Berg, Tiziana Margaria
LearnLib: a framework for extrapolating behavioral models. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Harald Raffelt, Maik Merten, Bernhard Steffen, Tiziana Margaria
Dynamic testing via automata learning. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten
Hybrid test of web applications with webtest. TAV-WEB (2008)
Therese Berg, Bengt Jonsson, Harald Raffelt
Regular Inference for State Machines Using Domains with Equality Tests. FASE (2008)
Harald Raffelt, Bernhard Steffen, Tiziana Margaria
Dynamic Testing Via Automata Learning. Haifa Verification Conference (2007)
Tiziana Margaria, Harald Raffelt, Bernhard Steffen, Martin Leucker
The LearnLib in FMICS-jETI. ICECCS (2007)
Harald Raffelt, Bernhard Steffen
LearnLib: A Library for Automata Learning and Experimentation. FASE (2006)
Tiziana Margaria, Michael G. Hinchey, Harald Raffelt, James L. Rash, Christopher A. Rouff, Bernhard Steffen
Completing and Adapting Models of Biological Processes. BICC (2006)
Therese Berg, Bengt Jonsson, Harald Raffelt
Regular Inference for State Machines with Parameters. FASE (2006)
Tiziana Margaria, Harald Raffelt, Bernhard Steffen
Knowledge-based relevance filtering for efficient system-level test-based model generation. Innov. Syst. Softw. Eng. 1 (2) (2005)
Tiziana Margaria, Harald Raffelt, Bernhard Steffen
Analyzing second-order effects between optimizations for system-level test-based model generation. ITC (2005)
Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, Bernhard Steffen
On the Correspondence Between Conformance Testing and Regular Inference. FASE (2005)
Harald Raffelt, Bernhard Steffen, Therese Berg
LearnLib: a library for automata learning and experimentation. FMICS (2005)
Therese Berg, Harald Raffelt
Model Checking. Model-Based Testing of Reactive Systems (2004)
Tiziana Margaria, Oliver Niese, Harald Raffelt, Bernhard Steffen
Efficient test-based model generation for legacy reactive systems. HLDVT (2004)

Harald Raffelt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Harald Raffelt