BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Krenn:Willibald

Contributed to:

ICST 20152015
ICST 20142014
TAP 20142014
ICST 20112011
MBT 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.