Travelled to:1 × Austria
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:B.K.Aichernig E.Jöbstl H.Brandl R.Schlick P.Daca T.A.Henzinger D.Nickovic S.Tiran J.Auer R.Korosec B.V.Schmidt
Talks about:mutat (4) test (4) model (2) base (2) uml (2) industri (1) contract (1) composit (1) generat (1) specif (1)
Person: Willibald Krenn
DBLP: Krenn:Willibald
Contributed to:
20152014
20142011
2009Wrote 5 papers:
- ICST-2015-KrennSTAJB #modelling #mutation testing #named #testing #uml
- MoMut: : UML Model-Based Mutation Testing for UML (WK, RS, ST, BKA, EJ, HB), pp. 1–8.
- ICST-2014-DacaHKN #composition #specification #testing
- Compositional Specifications for ioco Testing (PD, TAH, WK, DN), pp. 373–382.
- TAP-2014-AichernigAJKKSS #industrial #metric #modelling #mutation testing #testing
- Model-Based Mutation Testing of an Industrial Measurement Device (BKA, JA, EJ, RK, WK, RS, BVS), pp. 1–19.
- ICST-2011-AichernigBJK #performance
- Efficient Mutation Killers in Action (BKA, HB, EJ, WK), pp. 120–129.
- MBT-2009-KrennA #contract #generative #specification #testing
- Test Case Generation by Contract Mutation in Spec# (WK, BKA), pp. 71–86.