 | 2007 |
|---|
| 8 |       | Alexander Pretschner,
Wolfgang Prenninger:
Computing refactorings of state machines.
Software and System Modeling 6(4): 381-399 (2007) |
| 2005 |
|---|
| 7 | | Alexander Pretschner,
Wolfgang Prenninger,
Stefan Wagner,
Christian Kühnel,
M. Baumgartner,
B. Sostawa,
R. Zölch,
Thomas Stauner:
One evaluation of model-based testing and its automation.
ICSE 2005: 392-401 |
| 6 | | Alexander Pretschner,
Wolfgang Prenninger:
Computing Refactorings of Behavior Models.
MoDELS 2005: 126-141 |
| 5 | | Wolfgang Prenninger,
Alexander Pretschner:
Abstractions for Model-Based Testing.
Electr. Notes Theor. Comput. Sci. 116: 59-71 (2005) |
| 2004 |
|---|
| 4 | | Wolfgang Prenninger,
Mohammad El-Ramly,
Marc Horstmann:
Case Studies.
Model-Based Testing of Reactive Systems 2004: 439-461 |
| 3 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner,
Manfred Broy:
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0.
SoftSpez Final Report 2004: 29-47 |
| 2 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner:
Broadcast MSCs.
Formal Asp. Comput. 16(3): 194-209 (2004) |
| 2002 |
|---|
| 1 | | Ingolf Krüger,
Wolfgang Prenninger,
Robert Sandner,
Manfred Broy:
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT.
International Journal of Software Engineering and Knowledge Engineering 12(2): 155-174 (2002) |
