Follow
Willibald Krenn
Willibald Krenn
SAL Silicon Austria Labs
Verified email at silicon-austria.com
Title
Cited by
Cited by
Year
Killing strategies for model‐based mutation testing
BK Aichernig, H Brandl, E Jöbstl, W Krenn, R Schlick, S Tiran
Software Testing, Verification and Reliability 25 (8), 716-748, 2015
922015
Momut:: UML model-based mutation testing for UML
W Krenn, R Schlick, S Tiran, B Aichernig, E Jobstl, H Brandl
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
842015
Model-based mutation testing of an industrial measurement device
BK Aichernig, J Auer, E Jöbstl, R Korošec, W Krenn, R Schlick, ...
Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of …, 2014
532014
Model-based, mutation-driven test-case generation via heuristic-guided branching search
A Fellner, W Krenn, R Schlick, T Tarrach, G Weissenbacher
ACM Transactions on Embedded Computing Systems (TECS) 18 (1), 1-28, 2019
422019
Efficient mutation killers in action
BK Aichernig, H Brandl, E Jöbstl, W Krenn
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
402011
UML in action: a two-layered interpretation for testing
BK Aichernig, H Brandl, E Jöbstl, W Krenn
ACM SIGSOFT Software Engineering Notes 36 (1), 1-8, 2011
402011
Mapping UML to labeled transition systems for test-case generation: A translation via object-oriented action systems
W Krenn, R Schlick, BK Aichernig
International Symposium on Formal Methods for Components and Objects, 186-207, 2009
372009
Compositional specifications for ioco testing
P Daca, TA Henzinger, W Krenn, D Nickovic
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
312014
Model-based mutation testing of hybrid systems
BK Aichernig, H Brandl, E Jöbstl, W Krenn
International Symposium on Formal Methods for Components and Objects, 228-249, 2009
292009
Test case generation by contract mutation in spec
W Krenn, BK Aichernig
Electronic Notes in Theoretical Computer Science 253 (2), 71-86, 2009
272009
CPS/IoT Ecosystem: A platform for research and education
H Isakovic, D Ratasich, C Hirsch, M Platzer, B Wally, T Rausch, ...
Cyber Physical Systems. Model-Based Design: 8th International Workshop …, 2019
192019
Qualitative action systems
BK Aichernig, H Brandl, W Krenn
International Conference on Formal Engineering Methods, 206-225, 2009
162009
Learning and statistical model checking of system response times
BK Aichernig, P Bauerstätter, E Jöbstl, S Kann, R Korošec, W Krenn, ...
Software Quality Journal 27, 757-795, 2019
142019
A pattern-based formalization of cloud-based elastic systems
S Dustdar, A Gambi, W Krenn, D Nickovic
2015 IEEE/ACM 7th International Workshop on Principles of Engineering …, 2015
122015
Checking response-time properties of web-service applications under stochastic user profiles
R Schumi, P Lang, BK Aichernig, W Krenn, R Schlick
Testing Software and Systems: 29th IFIP WG 6.1 International Conference …, 2017
112017
Incremental language inclusion checking for networks of timed automata
W Krenn, D Ničković, L Tec
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
102013
Knowledge extraction from c-code
F Wotawa, W Krenn
2007 Fifth Workshop on Intelligent Solutions in Embedded Systems, 49-60, 2007
82007
Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants--First Results
W Krenn, R Schlick
arXiv preprint arXiv:1601.06974, 2016
62016
State of the Art Survey-Part a: Model-based Test Case Generation
B Aichernig, W Krenn, H Eriksson, J Vinter
2014-04-11]. https://www. rnogentes, eu/public/MOGENTES_I-19a_I, lrD1 …, 2008
62008
Towards generation of efficient test cases from UML/OCL models for complex safety-critical systems
W Herzner, R Schlick, W Schütz, H Brandl, W Krenn
e & i Elektrotechnik und Informationstechnik 127, 181-186, 2010
42010
The system can't perform the operation now. Try again later.
Articles 1–20