Wolfgang Prenninger

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 1

Top Topics

Model Based Testing

Security Policies

Top Venues

Publications

Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
One evaluation of model-based testing and its automation. CoRR (2017)
Alexander Pretschner, Wolfgang Prenninger
Computing refactorings of state machines. Softw. Syst. Model. 6 (4) (2007)
Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner
One evaluation of model-based testing and its automation. ICSE (2005)
Wolfgang Prenninger, Alexander Pretschner
Abstractions for Model-Based Testing. Electron. Notes Theor. Comput. Sci. 116 (2005)
Alexander Pretschner, Wolfgang Prenninger
Computing Refactorings of Behavior Models. MoDELS (2005)
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner
Broadcast MSCs. Formal Aspects Comput. 16 (3) (2004)
Wolfgang Prenninger, Mohammad El-Ramly, Marc Horstmann
Case Studies. Model-Based Testing of Reactive Systems (2004)
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report (2004)
Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy
From Scenarios to Hierarchical Broadcasting Software Architectures Using UML-RT. Int. J. Softw. Eng. Knowl. Eng. 12 (2) (2002)