| 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 | 121 | 2020 |
| Mutation Testing of Smart Contracts at Scale P Hartel, R Schumi International Conference on Tests and Proofs, 23-42, 2020 | 30 | 2020 |
| 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 | 24 | 2016 |
| How fast is MQTT? Statistical model checking and testing of IoT protocols BK Aichernig, R Schumi Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018 | 23 | 2018 |
| 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 |
| Property-based testing of web services by deriving properties from business-rule models BK Aichernig, R Schumi Software & Systems Modeling 18, 889-911, 2019 | 19 | 2019 |
| Statistical model checking meets property-based testing BK Aichernig, R Schumi 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 18 | 2017 |
| Spectest: Specification-based compiler testing R Schumi, J Sun Fundamental Approaches to Software Engineering: 24th International …, 2021 | 14 | 2021 |
| 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 |
| 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 |
| ExAIS: executable AI semantics R Schumi, J Sun Proceedings of the 44th International Conference on Software Engineering …, 2022 | 8 | 2022 |
| 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 Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015 | 6 | 2015 |
| Statistical model checking of response times for different system deployments BK Aichernig, S Kann, R Schumi Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018 | 4 | 2018 |
| Semantic-based neural network repair R Schumi, J Sun Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 3 | 2023 |
| Gas limit aware mutation testing of smart contracts at scale P Hartel, R Schumi arXiv preprint arXiv:1909.12563, 2019 | 2 | 2019 |
| Predicting and testing latencies with deep learning: An iot case study BK Aichernig, F Pernkopf, R Schumi, A Wurm Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 2 | 2019 |
| PTE: Axiomatic Semantics based Compiler Testing G Dong, J Sun, R Schumi, B Wang, X Wang arXiv preprint arXiv:2401.01036, 2024 | | 2024 |
| Semantic-based neural network repair.(2023) R SCHUMI, J SUN ISSTA, 2023 | | 2023 |
| SpecTest: Specification-based compiler testing.(2021) R SCHUMI, J SUN FASE, 2021 | | 2021 |
Bernhard AichernigGraz Univ. of Technology (TU Graz)Email verificata su ist.tugraz.at
