| 2008 |
|---|
| 8 | EE | Therese Berg,
Bengt Jonsson,
Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests.
FASE 2008: 317-331 |
| 2007 |
|---|
| 7 | EE | Harald Raffelt,
Bernhard Steffen,
Tiziana Margaria:
Dynamic Testing Via Automata Learning.
Haifa Verification Conference 2007: 136-152 |
| 6 | EE | Tiziana Margaria,
Harald Raffelt,
Bernhard Steffen,
Martin Leucker:
The LearnLib in FMICS-jETI.
ICECCS 2007: 340-352 |
| 2006 |
|---|
| 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 |
