Richard Schumi

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 21

Top Topics

Formal Specification

Temporal Properties

Top Venues

Publications

Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang
PTE: Axiomatic Semantics based Compiler Testing. CoRR (2024)
Richard Schumi, Jun Sun
Semantic-Based Neural Network Repair. CoRR (2023)
Richard Schumi, Jun Sun
Semantic-Based Neural Network Repair. ISSTA (2023)
Richard Schumi, Jun Sun
ExAIS: Executable AI Semantics. ICSE (2022)
Richard Schumi, Jun Sun
ExAIS: Executable AI Semantics. CoRR (2022)
Richard Schumi, Jun Sun
SpecTest: Specification-Based Compiler Testing. FASE (2021)
Ivan Homoliak, Sarad Venugopalan, Daniël Reijsbergen, Qingze Hum, Richard Schumi, Pawel Szalachowski
The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. IEEE Commun. Surv. Tutorials 23 (1) (2021)
Pieter H. Hartel, Richard Schumi
Mutation Testing of Smart Contracts at Scale. TAP@STAF (2020)
Bernhard K. Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi
Learning and statistical model checking of system response times. Softw. Qual. J. 27 (2) (2019)
Ivan Homoliak, Sarad Venugopalan, Qingze Hum, Daniël Reijsbergen, Richard Schumi, Pawel Szalachowski
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. CoRR (2019)
Pieter H. Hartel, Richard Schumi
Gas limit aware mutation testing of smart contracts at scale. CoRR (2019)
Bernhard K. Aichernig, Richard Schumi
Property-based testing of web services by deriving properties from business-rule models. Softw. Syst. Model. 18 (2) (2019)
Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM (2019)
Bernhard K. Aichernig, Richard Schumi
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. QEST (2018)
Bernhard K. Aichernig, Severin Kann, Richard Schumi
Statistical Model Checking of Response Times for Different System Deployments. SETTA (2018)
Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi
Property-Based Testing with External Test-Case Generators. ICST Workshops (2017)
Bernhard K. Aichernig, Richard Schumi
Statistical Model Checking Meets Property-Based Testing. ICST (2017)
Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. ICTSS (2017)
Bernhard K. Aichernig, Richard Schumi
Towards integrating statistical model checking into property-based testing. MEMOCODE (2016)
Bernhard K. Aichernig, Richard Schumi
Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. ICST Workshops (2016)
Roderick Bloem, Daniel M. Hein, Franz Röck, Richard Schumi
Case Study: Automatic Test Case Generation for a Secure Cache Implementation. TAP@STAF (2015)