| The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses I Homoliak, S Venugopalan, D Reijsbergen, Q Hum, R Schumi, ... IEEE Communications Surveys & Tutorials 23 (1), 341-390, 2020 | 59 | 2020 |
| How Fast Is MQTT? BK Aichernig, R Schumi International Conference on Quantitative Evaluation of Systems, 36-52, 2018 | 21 | 2018 |
| Property-based testing with FsCheck by deriving properties from business rule models BK Aichernig, R Schumi 2016 IEEE Ninth International Conference on Software Testing, Verification …, 2016 | 20 | 2016 |
| Statistical model checking meets property-based testing BK Aichernig, R Schumi 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 16 | 2017 |
| Mutation Testing of Smart Contracts at Scale P Hartel, R Schumi International Conference on Tests and Proofs, 23-42, 2020 | 15 | 2020 |
| 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 | 13 | 2019 |
| Property-based testing of web services by deriving properties from business-rule models BK Aichernig, R Schumi Software & Systems Modeling 18 (2), 889-911, 2019 | 13 | 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 | 10 | 2017 |
| Property-based testing with external test-case generators BK Aichernig, S Marcovic, R Schumi 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 9 | 2017 |
| SpecTest: Specification-Based Compiler Testing R Schumi, J Sun International Conference on Fundamental Approaches to Software Engineering …, 2021 | 7 | 2021 |
| Towards integrating statistical model checking into property-based testing BK Aichernig, R Schumi 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 6 | 2016 |
| Case study: Automatic test case generation for a secure cache implementation R Bloem, D Hein, F Röck, R Schumi International Conference on Tests and Proofs, 58-75, 2015 | 6 | 2015 |
| Predicting and Testing Latencies with Deep Learning: An IoT Case Study BK Aichernig, F Pernkopf, R Schumi, A Wurm International Conference on Tests and Proofs, 93-111, 2019 | 2 | 2019 |
| Gas limit aware mutation testing of smart contracts at scale P Hartel, R Schumi arXiv preprint arXiv:1909.12563, 2019 | 2 | 2019 |
| Statistical Model Checking of Response Times for Different System Deployments BK Aichernig, S Kann, R Schumi International Symposium on Dependable Software Engineering: Theories, Tools …, 2018 | 2 | 2018 |
| ExAIS: Executable AI Semantics R Schumi, J Sun arXiv preprint arXiv:2202.09868, 2022 | 1 | 2022 |
Bernhard AichernigGraz Univ. of Technology (TU Graz)Geverifieerd e-mailadres voor ist.tugraz.at
