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 | 93 | 2020 |
Mutation Testing of Smart Contracts at Scale P Hartel, R Schumi International Conference on Tests and Proofs, 23-42, 2020 | 24 | 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 | 21 | 2018 |
Statistical model checking meets property-based testing BK Aichernig, R Schumi 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 19 | 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, 757-795, 2019 | 16 | 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 | 16 | 2019 |
Spectest: Specification-based compiler testing R Schumi, J Sun Fundamental Approaches to Software Engineering: 24th International …, 2021 | 11 | 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 | 7 | 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 | 7 | 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 |
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 |
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 | 2 | 2018 |
Semantic-Based Neural Network Repair R Schumi, J Sun arXiv preprint arXiv:2306.07995, 2023 | 1 | 2023 |
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 |