Krenn Willibald
Scientist
Dependable Systems Engineering
Austrian Institute of Technology
Austria
Biography
Dr. Krenn Willibald is a Scientist at AIT Austrian Institute of Technology GmbH / Austria
Research Interest
Dependable Systems Engineering
Publications
-
B. Aichernig, J. Auer, E. Jöbstl, R. Korosec, W. Krenn, R. Schlick, B.V. Schmidt: "Model-Based Mutation Testing of an Industrial Measurement Device"; Vortrag: 8th International Conference on Tests & Proofs, York, UK; 24.07.2014 - 25.07.2014; in: "Tests and Proofs 8th International Conference", Springer, 8570 (2014), ISBN: 978-3-319-09098-6; 19 S.
-
W. Herzner, R. Schlick, W. Schütz, H. Brandl, W. Krenn: "Towards Generation of Efficient Test Cases from UML/OCL models for complex safety-critical systems"; e&i elektrotechnik und informationstechnik, 6 (2010), S. 181 - 186.
-
B. Aichernig, H. Brand, E. Jöbstl, W. Krenn, R. Schlick, S. Tiran: "Killing strategies for model-based mutation testing"; Software Testing, Verification and Reliability, 25 (2015), 8; S. 716 - 748.
