 | 2008 |
|---|
| 5 |       | Therese Berg,
Bengt Jonsson,
Harald Raffelt:
Regular Inference for State Machines Using Domains with Equality Tests.
FASE 2008: 317-331 |
| 2006 |
|---|
| 4 | | Therese Berg,
Bengt Jonsson,
Harald Raffelt:
Regular Inference for State Machines with Parameters.
FASE 2006: 107-121 |
| 2005 |
|---|
| 3 | | 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 | | Therese Berg,
Bengt Jonsson,
Martin Leucker,
Mayank Saksena:
Insights to Angluin's Learning.
Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005) |
| 2004 |
|---|
| 1 | | Therese Berg,
Harald Raffelt:
Model Checking.
Model-Based Testing of Reactive Systems 2004: 557-603 |
