Richard Schumi

According to our database, Richard Schumi authored at least 19 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

PTE: Axiomatic Semantics based Compiler Testing.

Guoliang Dong, Jun Sun, Richard Schumi, Bo Wang, Xinyu Wang

CoRR, 2024

2023

Semantic-Based Neural Network Repair.

Richard Schumi, Jun Sun

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

ExAIS: Executable AI Semantics.

Richard Schumi, Jun Sun

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

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

SpecTest: Specification-Based Compiler Testing.

Richard Schumi, Jun Sun

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Mutation Testing of Smart Contracts at Scale.

Pieter H. Hartel, Richard Schumi

Proceedings of the Tests and Proofs - 14th International Conference, 2020

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

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

Bernhard K. Aichernig, Richard Schumi

Softw. Syst. Model., 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

Gas limit aware mutation testing of smart contracts at scale.

Pieter H. Hartel, Richard Schumi

CoRR, 2019

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

Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Statistical Model Checking of Response Times for Different System Deployments.

Bernhard K. Aichernig, Severin Kann, Richard Schumi

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

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

Bernhard K. Aichernig, Richard Schumi

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

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

Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, Rupert Schlick

Proceedings of the Testing Software and Systems, 2017

Statistical Model Checking Meets Property-Based Testing.

Bernhard K. Aichernig, Richard Schumi

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Property-Based Testing with External Test-Case Generators.

Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

Towards integrating statistical model checking into property-based testing.

Bernhard K. Aichernig, Richard Schumi

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

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

Bernhard K. Aichernig, Richard Schumi

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

2015

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

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

Proceedings of the Tests and Proofs - 9th International Conference, 2015