PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution). - Cedric Richter; Heike Wehrheim (TACAS (3), 2019)

Attend and Represent: A Novel View on Algorithm Selection for Software Verification. - Cedric Richter; Heike Wehrheim (ASE, 2020)

Algorithm selection for software validation based on graph kernels. - Cedric Richter; Eyke Hüllermeier; Marie-Christine Jakobs; Heike Wehrheim (Autom. Softw. Eng., 2020)

CoVeriTest with Adaptive Time Scheduling (Competition Contribution). - Marie-Christine Jakobs; Cedric Richter (FASE, 2021)

DeepMutants: Training neural bug detectors with contextual mutations. - Cedric Richter; Heike Wehrheim (CoRR, 2021)

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (FASE, 2022)

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors. - Cedric Richter; Heike Wehrheim (ICST, 2022)

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (ASE, 2022)

TSSB-3M: Mining single statement bugs at massive scale. - Cedric Richter; Heike Wehrheim (MSR, 2022)

Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes. - Cedric Richter; Heike Wehrheim (CoRR, 2022)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'. - Dirk Beyer 001; Sudeep Kanav; Cedric Richter (Zenodo, 2022)

CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023). - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2022)

Parallel Program Analysis via Range Splitting. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (FASE, 2023)

How to Train Your Neural Bug Detector: Artificial vs Real Bugs. - Cedric Richter; Heike Wehrheim (ASE, 2023)

Variable Misuse Detection: Software Developers versus Neural Bug Detectors. - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (Software Engineering, 2023)

Robustness Testing of Software Verifiers. - Florian Dyck; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Ranged Program Analysis via Instrumentation. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Zenodo, 2023)

How to Train Your Neural Bug Detector: Artificial vs Real Bugs. - Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution). - Christian Janßen; Cedric Richter; Heike Wehrheim (Zenodo, 2023)

Can ChatGPT support software verification? - Christian Janßen; Cedric Richter; Heike Wehrheim (FASE, 2024)

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors. - Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

Bubaak-SpLit: Split what you cannot verify (Competition contribution). - Marek Chalupa; Cedric Richter (TACAS (3), 2024)

Parallel program analysis on path ranges. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Sci. Comput. Program., 2024)

Replication package for article 'Parallel Program Analysis on Path Ranges'. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Artifact for research regarding Ranged Program Analysis. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2024)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (ICSE, 2025)

BUBAAK: Dynamic Cooperative Verification - (Competition Contribution). - Marek Chalupa; Cedric Richter (TACAS (3), 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Cooperative Software Verification via Dynamic Program Splitting. - Cedric Richter; Marek Chalupa; Marie-Christine Jakobs; Heike Wehrheim (Zenodo, 2025)

Construction of verifier combinations from off-the-shelf components. - Dirk Beyer 001; Sudeep Kanav; Tobias Kleinert; Cedric Richter (Formal Methods Syst. Des., 2025)