Case Study: Automatic Test Case Generation for a Secure Cache Implementation. - Roderick Bloem; Daniel M. Hein; Franz Röck; Richard Schumi (TAP@STAF, 2015)

Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. - Bernhard K. Aichernig; Richard Schumi (ICST Workshops, 2016)

Towards integrating statistical model checking into property-based testing. - Bernhard K. Aichernig; Richard Schumi (MEMOCODE, 2016)

Property-Based Testing with External Test-Case Generators. - Bernhard K. Aichernig; Silvio Marcovic; Richard Schumi (ICST Workshops, 2017)

Statistical Model Checking Meets Property-Based Testing. - Bernhard K. Aichernig; Richard Schumi (ICST, 2017)

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles. - Richard Schumi; Priska Lang; Bernhard K. Aichernig; Willibald Krenn; Rupert Schlick (ICTSS, 2017)

How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. - Bernhard K. Aichernig; Richard Schumi (QEST, 2018)

Statistical Model Checking of Response Times for Different System Deployments. - Bernhard K. Aichernig; Severin Kann; Richard Schumi (SETTA, 2018)

Predicting and Testing Latencies with Deep Learning: An IoT Case Study. - Bernhard K. Aichernig; Franz Pernkopf; Richard Schumi; Andreas Wurm (TAP@FM, 2019)

Gas limit aware mutation testing of smart contracts at scale. - Pieter H. Hartel; Richard Schumi (CoRR, 2019)

The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. - Ivan Homoliak; Sarad Venugopalan; Qingze Hum; Daniël Reijsbergen; Richard Schumi; Pawel Szalachowski (CoRR, 2019)

Property-based testing of web services by deriving properties from business-rule models. - Bernhard K. Aichernig; Richard Schumi (Softw. Syst. Model., 2019)

Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)

Mutation Testing of Smart Contracts at Scale. - Pieter H. Hartel; Richard Schumi (TAP@STAF, 2020)

SpecTest: Specification-Based Compiler Testing. - Richard Schumi; Jun Sun 001 (FASE, 2021)

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses. - Ivan Homoliak; Sarad Venugopalan; Daniël Reijsbergen; Qingze Hum; Richard Schumi; Pawel Szalachowski (IEEE Commun. Surv. Tutorials, 2021)

ExAIS: Executable AI Semantics. - Richard Schumi; Jun Sun 001 (ICSE, 2022)

Semantic-Based Neural Network Repair. - Richard Schumi; Jun Sun 001 (ISSTA, 2023)

PTE: Axiomatic Semantics based Compiler Testing. - Guoliang Dong; Jun Sun 001; Richard Schumi; Bo Wang 050; Xinyu Wang 001 (CoRR, 2024)