Seguir
Willibald Krenn
Willibald Krenn
SAL Silicon Austria Labs
Email confirmado em silicon-austria.com
Título
Citado por
Citado por
Ano
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
872015
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
782015
Model-based mutation testing of an industrial measurement device
BK Aichernig, J Auer, E Jöbstl, R Korošec, W Krenn, R Schlick, ...
International Conference on Tests and Proofs, 1-19, 2014
492014
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
392011
Efficient mutation killers in action
BK Aichernig, H Brandl, E Jöbstl, W Krenn
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
372011
Mapping UML to labeled transition systems for test-case generation
W Krenn, R Schlick, BK Aichernig
International Symposium on Formal Methods for Components and Objects, 186-207, 2009
362009
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
352019
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
Compositional specifications for ioco testing
P Daca, TA Henzinger, W Krenn, D Nickovic
2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014
282014
Test case generation by contract mutation in spec
W Krenn, BK Aichernig
Electronic Notes in Theoretical Computer Science 253 (2), 71-86, 2009
222009
Qualitative action systems
BK Aichernig, H Brandl, W Krenn
International Conference on Formal Engineering Methods, 206-225, 2009
162009
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, 206-213, 2018
152018
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
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 (2), 757-795, 2019
102019
Checking response-time properties of web-service applications under stochastic user profiles
R Schumi, P Lang, BK Aichernig, W Krenn, R Schlick
IFIP International Conference on Testing Software and Systems, 293-310, 2017
102017
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
Intelligent, fault adaptive control of autonomous systems
W Krenn, F Wotawa
Intelligent Technical Systems, 175-188, 2009
42009
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20