| 2004 |
|---|
| 6 | EE | Alexander Pretschner,
Heiko Lötzbeyer,
Jan Philipps:
Model based testing in incremental system development.
Journal of Systems and Software 70(3): 315-329 (2004) |
| 2002 |
|---|
| 5 | | Andree Blotz,
Franz Huber,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch,
Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
Ada Deutschland Tagung 2002: 37-52 |
| 4 | EE | Andree Blotz,
Franz Huber,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch,
Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
CoRR cs.SE/0201023: (2002) |
| 2001 |
|---|
| 3 | EE | Alexander Pretschner,
Heiko Lötzbeyer,
Jan Philipps:
Model Based Testing in Evolutionary Software Development.
IEEE International Workshop on Rapid System Prototyping 2001: 155-161 |
| 2000 |
|---|
| 2 | EE | Peter Braun,
Heiko Lötzbeyer,
Bernhard Schätz,
Oscar Slotosch:
Consistent Integration of Formal Methods.
TACAS 2000: 48-62 |
| 1 | | Guido Wimmel,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch:
Specification based test sequence generation with propositional logic.
Softw. Test., Verif. Reliab. 10(4): 229-248 (2000) |
