Willibald Krenn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2007–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | MEMOCODE | Model-based, mutation-driven test case generation via heuristic-guided branching search. | Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher |
| 2015 | ICSE | A Pattern-Based Formalization of Cloud-Based Elastic Systems. | Schahram Dustdar, Alessio Gambi, Willibald Krenn, Dejan Nickovic |
| 2015 | ICST | MoMut: : UML Model-Based Mutation Testing for UML. | Willibald Krenn, Rupert Schlick, Stefan Tiran, Bernhard K. Aichernig, Elisabeth Jbstl, Harald Brandl |
| 2014 | ICST | Compositional Specifications for ioco Testing. | Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn, Dejan Nickovic |
| 2014 | TAP | Model-Based Mutation Testing of an Industrial Measurement Device. | Bernhard K. Aichernig, Jakob Auer, Elisabeth Jbstl, Robert Korosec, Willibald Krenn, Rupert Schlick, Birgit Vera Schmidt |
| 2011 | ICST | Efficient Mutation Killers in Action. | Bernhard K. Aichernig, Harald Brandl, Elisabeth Jbstl, Willibald Krenn |
| 2009 | ICFEM | Qualitative Action Systems. | Bernhard K. Aichernig, Harald Brandl, Willibald Krenn |
| 2007 | IDC | Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change. | Willibald Krenn, Franz Wotawa |