Rupert Schlick
Rupert Schlick
Verified email at
Cited by
Cited by
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
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
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
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
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
Fault-based generation of test cases from UML-models–approach and some experiences
R Schlick, W Herzner, E Jöbstl
International Conference on Computer Safety, Reliability, and Security, 270-283, 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
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
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
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
Behaviour-driven formal model development
C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang
International Conference on Formal Engineering Methods, 21-36, 2018
Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants--First Results
W Krenn, R Schlick
arXiv preprint arXiv:1601.06974, 2016
Checking SCADE models for correct usage of physical units
R Schlick, W Herzner, T Le Sergent
International Conference on Computer Safety, Reliability, and Security, 358-371, 2006
Towards fault-based generation of test cases for dependable embedded software
W Herzner, R Schlick, HB Ait Austrian, J Wiessalla
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, ...
International Symposium on Leveraging Applications of Formal Methods, 249-272, 2018
Formal Methods for Components and Objects
FSD Boer, GMS Bonsangue, WP de Roever
Springer, Berlin, 2003
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 (6), 181-186, 2010
Formal methods in industrial practice-Bridging the gap (track summary)
M Felderer, D Gurov, M Huisman, B Lisper, R Schlick
International Symposium on Leveraging Applications of Formal Methods, 77-81, 2018
Model-Based Simulation of Distributed Real-time Applications
W Herzner, R Schlick, A Le Guennec, B Martin
2007 5th IEEE International Conference on Industrial Informatics 2, 989-994, 2007
SE-Wissenschaftliche Praxis und Vergleichbarkeit
R Schlick
Software Engineering 2020, 2020
The system can't perform the operation now. Try again later.
Articles 1–20