2003 |
6 | EE | Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Domain-Specific Optimization in Automata Learning.
CAV 2003: 315-327 |
2002 |
5 | EE | 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 | EE | Andreas Hagerer,
Hardi Hungar,
Oliver Niese,
Bernhard Steffen:
Model Generation by Moderated Regular Extrapolation.
FASE 2002: 80-95 |
3 | EE | Tiziana Margaria,
Oliver Niese,
Bernhard Steffen:
Demonstration of an Automated Integrated Test Environment for Web-Based Applications.
SPIN 2002: 250-253 |
2001 |
2 | EE | 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 | EE | 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 |