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 | 97 | 2015 |
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 | 87 | 2015 |
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 | 53 | 2014 |
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 | 44 | 2019 |
Efficient mutation killers in action BK Aichernig, H Brandl, E Jöbstl, W Krenn 2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011 | 40 | 2011 |
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 | 40 | 2011 |
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 | 37 | 2009 |
Compositional specifications for ioco testing P Daca, TA Henzinger, W Krenn, D Nickovic 2014 IEEE Seventh International Conference on Software Testing, Verification …, 2014 | 31 | 2014 |
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 | 30 | 2009 |
Test case generation by contract mutation in spec W Krenn, BK Aichernig Electronic Notes in Theoretical Computer Science 253 (2), 71-86, 2009 | 27 | 2009 |
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 | 19 | 2019 |
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 | 17 | 2019 |
Qualitative action systems BK Aichernig, H Brandl, W Krenn International Conference on Formal Engineering Methods, 206-225, 2009 | 16 | 2009 |
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 | 12 | 2015 |
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 | 11 | 2017 |
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 | 10 | 2013 |
Knowledge extraction from c-code F Wotawa, W Krenn 2007 Fifth Workshop on Intelligent Solutions in Embedded Systems, 49-60, 2007 | 9 | 2007 |
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 | 7 | 2008 |
Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants--First Results W Krenn, R Schlick arXiv preprint arXiv:1601.06974, 2016 | 6 | 2016 |
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 | 4 | 2010 |