Richard Schumi

Most-cited papers

1. The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses

   I. Homoliak, Sarad Venugopalan, Daniël Reijsbergen, Qingze Hum +2 more

   2019IEEE Communications Surveys and Tutorials104 citations Open access

   Semantic Scholar

   Save

2. Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models

   B. Aichernig, Richard Schumi

   2016International Conference on Software Testing, Verification and Validation Workshops22 citations

   Semantic Scholar

   Save

3. Mutation Testing of Smart Contracts at Scale

   P. Hartel, Richard Schumi

   2019TAP@STAF20 citations

   Semantic Scholar

   Save

4. Property-based testing of web services by deriving properties from business-rule models

   B. Aichernig, Richard Schumi

   2017Journal of Software and Systems Modeling18 citations Open access

   Semantic Scholar

   Save

5. SpecTest: Specification-Based Compiler Testing

   Richard Schumi, Jun Sun

   2021Fundamental Approaches to Software Engineering16 citations Open access

   Semantic Scholar

   Save

6. Learning and statistical model checking of system response times

   B. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann +5 more

   2019Software quality journal14 citations Open access

   Semantic Scholar

   Save

7. Statistical Model Checking Meets Property-Based Testing

   B. Aichernig, Richard Schumi

   2017International Conference on Information Control Systems & Technologies13 citations

   Semantic Scholar

   Save

8. How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols

   B. Aichernig, Richard Schumi

   2018International Conference on Quantitative Evaluation of Systems8 citations

   Semantic Scholar

   Save

9. Case Study: Automatic Test Case Generation for a Secure Cache Implementation

   R. Bloem, Daniel M. Hein, Franz Röck, Richard Schumi

   2015TAP@STAF8 citations

   Semantic Scholar

   Save

10. ExAIS: Executable AI Semantics

    Richard Schumi, Jun Sun

    2022International Conference on Software Engineering7 citations Open access

    Semantic Scholar

    Save

11. Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

    Richard Schumi, Priska Lang, B. Aichernig, Willibald Krenn +1 more

    2017International Conference on Testing Software and Systems7 citations Open access

    Semantic Scholar

    Save

12. Property-Based Testing with External Test-Case Generators

    B. Aichernig, S. Marcovic, Richard Schumi

    2017International Conference on Software Testing, Verification and Validation Workshops7 citations

    Semantic Scholar

    Save

13. Semantic-Based Neural Network Repair

    Richard Schumi, Jun Sun

    2023International Symposium on Software Testing and Analysis6 citations Open access

    Semantic Scholar

    Save

14. Towards integrating statistical model checking into property-based testing

    B. Aichernig, Richard Schumi

    2016International Conference on Formal Methods and Models for Co-Design5 citations

    Semantic Scholar

    Save

15. Gas limit aware mutation testing of smart contracts at scale

    P. Hartel, Richard Schumi

    2019arXiv.org3 citations

    Semantic Scholar

    Save

16. Statistical Model Checking of Response Times for Different System Deployments

    B. Aichernig, Severin Kann, Richard Schumi

    2018International Symposium on Software Engineering: Theories, Tools, and Applications3 citations

    Semantic Scholar

    Save

17. Predicting and Testing Latencies with Deep Learning: An IoT Case Study

    B. Aichernig, Franz Pernkopf, Richard Schumi, A. Wurm

    2019TAP@FM2 citations

    Semantic Scholar

    Save

18. PTE: Axiomatic Semantics based Compiler Testing

    Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang +1 more

    2024arXiv.org0 citations

    Semantic Scholar

    Save