Concepedia

Willibald Krenn

WK

9

Publications

259

Citations

9

H-Index

2009

Active since

Affiliations

Graz University of Technology(Current)

Austrian Institute of Technology

Anstalt für Verbrennungskraftmaschinen List (Austria)

Maxeler Technologies (United Kingdom)

Willibald Krenn is an author at Graz University of Technology specializing in systems engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware TestingSoftware AnalysisSystems EngineeringSoftware EngineeringFormal MethodsProgram AnalysisFormal VerificationSoftware Design

Publications per year

2009–2019

9

Publications

9

Killing strategies for model‐based mutation testing

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · Software Testing Verification and Reliability · 2014 · 68 citations · Full text

Engineering, Genetics, Software Systems +21

MoMut::UML Model-Based Mutation Testing for UML

Willibald Krenn, Rupert Schlick, Stefan Tiran et al. · 2015 · 52 citations

Software Maintenance, Engineering, Verification +21

Compositional Specifications for ioco Testing

Thomas A. Henzinger, Willibald Krenn, Dejan Ničković · 2014 · 26 citations

Engineering, Verification, Software Engineering +18

Efficient Mutation Killers in Action

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · 2011 · 25 citations

Engineering, Genetics, Car Alarm System +27

Bernhard K. Aichernig, Harald Brandl, Elisabeth Jöbstl et al. · ACM SIGSOFT Software Engineering Notes · 2011 · 22 citations

Engineering, Software Engineering, Action Language +23

Rows per page

1–5 of 9