Harald Raffelt

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