| 2023 | ISSTA | Semantic-Based Neural Network Repair. | Richard Schumi, Jun Sun |
| 2022 | ICSE | ExAIS: Executable AI Semantics. | Richard Schumi, Jun Sun |
| 2021 | FASE | SpecTest: Specification-Based Compiler Testing. | Richard Schumi, Jun Sun |
| 2020 | TAP | Mutation Testing of Smart Contracts at Scale. | Pieter H. Hartel, Richard Schumi |
| 2019 | TAP | Predicting and Testing Latencies with Deep Learning: An IoT Case Study. | Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm |
| 2018 | SETTA | Statistical Model Checking of Response Times for Different System Deployments. | Bernhard K. Aichernig, Severin Kann, Richard Schumi |
| 2017 | ICST | Property-Based Testing with External Test-Case Generators. | Bernhard K. Aichernig, Silvio Marcovic, Richard Schumi |
| 2017 | ICST | Statistical Model Checking Meets Property-Based Testing. | Bernhard K. Aichernig, Richard Schumi |
| 2016 | ICST | Property-Based Testing with FsCheck by Deriving Properties from Business Rule Models. | Bernhard K. Aichernig, Richard Schumi |
| 2016 | MEMOCODE | Towards integrating statistical model checking into property-based testing. | Bernhard K. Aichernig, Richard Schumi |
| 2015 | TAP | Case Study: Automatic Test Case Generation for a Secure Cache Implementation. | Roderick Bloem, Daniel M. Hein, Franz Rck, Richard Schumi |