| 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 | 98 | 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 | 88 | 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 | 54 | 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 |
| 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 |
| Integration of requirements engineering and test-case generation via OSLC BK Aichernig, K Hörmaier, F Lorber, D Nickovic, R Schlick, D Simoneau, ... 2014 14th international conference on quality software, 117-126, 2014 | 32 | 2014 |
| Fault-based generation of test cases from UML-models–approach and some experiences R Schlick, W Herzner, E Jöbstl Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 22 | 2011 |
| Model-based development of distributed embedded real-time systems with the decos tool-chain W Herzner, R Schlick, M Schlager, B Leiner, B Huber, A Balogh, ... SAE Technical Paper, 2007 | 20 | 2007 |
| 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 | 19 | 2019 |
| Behaviour-driven formal model development C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 18 | 2018 |
| A process to facilitate automated automotive cybersecurity testing S Marksteiner, N Marko, A Smulders, S Karagiannis, F Stahl, ... 2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring), 1-7, 2021 | 17 | 2021 |
| A proposal of an example and experiments repository to foster industrial adoption of formal methods R Schlick, M Felderer, I Majzik, R Nardone, A Raschke, C Snook, ... Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 12 | 2018 |
| 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 |
| The VALU3S ECSEL project: Verification and validation of automated systems safety and security JA Agirre, L Etxeberria, R Barbosa, S Basagiannis, G Giantamidis, ... Microprocessors and microsystems 87, 104349, 2021 | 10 | 2021 |
| The VALU3S ECSEL project: verification and validation of automated systems safety and security R Barbosa, S Basagiannis, G Giantamidis, H Becker, E Ferrari, J Jahic, ... 2020 23rd Euromicro Conference on Digital System Design (DSD), 352-359, 2020 | 9 | 2020 |
| Towards fault-based generation of test cases for dependable embedded software W Herzner, R Schlick, H Brandl, J Wiessalla Geselllschaft für Informatik eV, 2011 | 8 | 2011 |
| Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants--First Results W Krenn, R Schlick arXiv preprint arXiv:1601.06974, 2016 | 7 | 2016 |
| A proposal for the classification of methods for verification and validation of safety, cybersecurity, and privacy of automated systems JL de la Vara, T Bauer, B Fischer, M Karaca, H Madeira, M Matschnig, ... Quality of Information and Communications Technology: 14th International …, 2021 | 6 | 2021 |
| Formal methods in industrial practice-bridging the gap (track summary) M Felderer, D Gurov, M Huisman, B Lisper, R Schlick Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 6 | 2018 |
| Checking SCADE models for correct usage of physical units R Schlick, W Herzner, T Le Sergent Computer Safety, Reliability, and Security: 25th International Conference …, 2006 | 6 | 2006 |
Bernhard AichernigGraz Univ. of Technology (TU Graz)Email verificata su ist.tugraz.at