 | 2011 |
|---|
| 8 |       | Bernhard K. Aichernig,
Harald Brandl,
Elisabeth Jöbstl,
Willibald Krenn:
Efficient Mutation Killers in Action.
ICST 2011: 120-129 |
| 7 | | Bernhard K. Aichernig,
Harald Brandl,
Elisabeth Jöbstl,
Willibald Krenn:
UML in action: a two-layered interpretation for testing.
ACM SIGSOFT Software Engineering Notes 36(1): 1-8 (2011) |
| 2010 |
|---|
| 6 | | 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.
Elektrotechnik und Informationstechnik 127(6): 181-186 (2010) |
| 2009 |
|---|
| 5 | | 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: 186-207 |
| 4 | | Bernhard K. Aichernig,
Harald Brandl,
Elisabeth Jöbstl,
Willibald Krenn:
Model-Based Mutation Testing of Hybrid Systems.
FMCO 2009: 228-249 |
| 3 | | Bernhard K. Aichernig,
Harald Brandl,
Willibald Krenn:
Qualitative Action Systems.
ICFEM 2009: 206-225 |
| 2 | | Willibald Krenn,
Bernhard K. Aichernig:
Test Case Generation by Contract Mutation in Spec#.
Electr. Notes Theor. Comput. Sci. 253(2): 71-86 (2009) |
| 2007 |
|---|
| 1 | | Willibald Krenn,
Franz Wotawa:
Collaboration of Intelligent, Autonomous Systems: Situation Aware Behavior Change.
IDC 2007: 283-288 |
Data released under the ODC-BY 1.0 license — See also our legal information page