 | 2003 |
|---|
| 6 |       | Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Domain-Specific Optimization in Automata Learning.
CAV 2003: 315-327 |
| 2002 |
|---|
| 5 | | Andreas Hagerer,
Hardi Hungar,
Tiziana Margaria,
Oliver Niese,
Bernhard Steffen,
Hans-Dieter Ide:
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
FASE 2002: 336-340 |
| 4 | | Andreas Hagerer,
Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation.
FASE 2002: 80-95 |
| 3 | | Tiziana Margaria,
Oliver Niese,
Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
SPIN 2002: 250-253 |
| 2001 |
|---|
| 2 | | Oliver Niese,
Bernhard Steffen,
Tiziana Margaria,
Andreas Hagerer,
Georg Brune,
Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
FASE 2001: 233-248 |
| 1 | | Oliver Niese,
Markus Nagelmann,
Andreas Hagerer,
Klaus Kolodziejczyk-Strunck,
Werner Goerigk,
Andrei Erochok,
Bernhard Hammelmann:
Demonstration of an Automated Integrated Testing Environment for CTI Systems.
FASE 2001: 249-252 |
