Richard Schumi

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