2008 |
10 | EE | Therese Berg,
Bengt Jonsson,
Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests.
FASE 2008: 317-331 |
9 | EE | Harald Raffelt,
Tiziana Margaria,
Bernhard Steffen,
Maik Merten:
Hybrid test of web applications with webtest.
TAV-WEB 2008: 1-7 |
2007 |
8 | EE | Harald Raffelt,
Bernhard Steffen,
Tiziana Margaria:
Dynamic Testing Via Automata Learning.
Haifa Verification Conference 2007: 136-152 |
7 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen,
Martin Leucker:
The LearnLib in FMICS-jETI.
ICECCS 2007: 340-352 |
2006 |
6 | EE | Tiziana Margaria,
Michael G. Hinchey,
Harald Raffelt,
James L. Rash,
Christopher A. Rouff,
Bernhard Steffen:
Completing and Adapting Models of Biological Processes.
BICC 2006: 43-54 |
5 | EE | Therese Berg,
Bengt Jonsson,
Harald Raffelt:
Regular Inference for State Machines with Parameters.
FASE 2006: 107-121 |
4 | EE | Harald Raffelt,
Bernhard Steffen:
LearnLib: A Library for Automata Learning and Experimentation.
FASE 2006: 377-380 |
2005 |
3 | EE | Therese Berg,
Olga Grinchtein,
Bengt Jonsson,
Martin Leucker,
Harald Raffelt,
Bernhard Steffen:
On the Correspondence Between Conformance Testing and Regular Inference.
FASE 2005: 175-189 |
2 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen:
Knowledge-based relevance filtering for efficient system-level test-based model generation.
ISSE 1(2): 147-156 (2005) |
2004 |
1 | EE | Therese Berg,
Harald Raffelt:
Model Checking.
Model-Based Testing of Reactive Systems 2004: 557-603 |