Willibald Krenn

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 8

Top Topics

Variable Ordering

Mutation Testing

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Willibald Krenn
Sicherheit vernetzter, hochautomatisierter Roboter. Elektrotech. Informationstechnik 136 (7) (2019)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
Compositional Specifications for ioco Testing. CoRR (2019)
Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu
CPS/IoT Ecosystem: A Platform for Research and Education. CyPhy/WESE (2018)
Otto Brechelmacher, Willibald Krenn, Thorsten Tarrach
A Vision for Enhancing Security of Cryptography in Executables. ESSoS (2018)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, mutation-driven test case generation via heuristic-guided branching search. MEMOCODE (2017)
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS (2017)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn, Rupert Schlick, Stefan Tiran
Killing strategies for model-based mutation testing. Softw. Test. Verification Reliab. 25 (8) (2015)
Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic
A Pattern-Based Formalization of Cloud-Based Elastic Systems. PESOS@ICSE (2015)
Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jöbstl, Harald Brandl
MoMut: : UML Model-Based Mutation Testing for UML. ICST (2015)
Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt
Model-Based Mutation Testing of an Industrial Measurement Device. TAP@STAF (2014)
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic
Compositional Specifications for ioco Testing. ICST (2014)
Willibald Krenn, Dejan Nickovic, Loredana Tec
Incremental Language Inclusion Checking for Networks of Timed Automata. FORMATS (2013)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
UML in action: a two-layered interpretation for testing. ACM SIGSOFT Softw. Eng. Notes 36 (1) (2011)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Efficient Mutation Killers in Action. ICST (2011)
Wolfgang Herzner, Rupert Schlick, W. Schütz, Harald Brandl, Willibald Krenn
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems. Elektrotech. Informationstechnik 127 (6) (2010)
Willibald Krenn, Rupert Schlick, Bernhard K. Aichernig
Mapping UML to Labeled Transition Systems for Test-Case Generation - A Translation via Object-Oriented Action Systems. FMCO (2009)
Bernhard K. Aichernig, Harald Brandl, Willibald Krenn
Qualitative Action Systems. ICFEM (2009)
Willibald Krenn, Bernhard K. Aichernig
Test Case Generation by Contract Mutation in Spec#. Electron. Notes Theor. Comput. Sci. 253 (2) (2009)
Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl, Willibald Krenn
Model-Based Mutation Testing of Hybrid Systems. FMCO (2009)
Willibald Krenn, Franz Wotawa
Intelligent, Fault Tolerant Control for Autonomous Systems. WISES (2007)
Willibald Krenn, Franz Wotawa
Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. IDC (2007)
Franz Wotawa, Willibald Krenn
Knowledge Extraction from C-Code. WISES (2007)