Cedric Richter

28 papers A* 4A 2B 6C 3Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2025 — conf
BUBAAK: Dynamic Cooperative Verification - (Competition Contribution).
TACAS (3)
Marek Chalupa, Cedric Richter
2025 J jnl
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
CoRR
Cedric Richter, Heike Wehrheim
2025 J jnl
Construction of verifier combinations from off-the-shelf components.
Formal Methods Syst. Des.
Dirk Beyer, Sudeep Kanav, Tobias Kleinert, Cedric Richter
2025 A* conf
Cooperative Software Verification via Dynamic Program Splitting.
ICSE
Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim
2025 — —
Neural Bug Detection.
Cedric Richter
2024 — conf
Bubaak-SpLit: Split what you cannot verify (Competition contribution).
TACAS (3)
Marek Chalupa, Cedric Richter
2024 B conf
Can ChatGPT support software verification?
FASE
Christian Janßen, Cedric Richter, Heike Wehrheim
2024 C conf
On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors.
Software Engineering
Cedric Richter, Heike Wehrheim
2024 J jnl
Parallel Program Analysis on Path Ranges.
CoRR
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024 J jnl
Parallel program analysis on path ranges.
Sci. Comput. Program.
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2024 C conf
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.
Software Engineering
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023 J jnl
Can ChatGPT support software verification?
CoRR
Christian Janßen, Cedric Richter, Heike Wehrheim
2023 A* conf
How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
ASE
Cedric Richter, Heike Wehrheim
2023 B conf
Parallel Program Analysis via Range Splitting.
FASE
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023 B conf
Ranged Program Analysis via Instrumentation.
SEFM
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
2023 B conf
Robustness Testing of Software Verifiers.
SEFM
Florian Dyck, Cedric Richter, Heike Wehrheim
2023 C conf
Variable Misuse Detection: Software Developers versus Neural Bug Detectors.
Software Engineering
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2022 A* conf
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
ASE
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
2022 J jnl
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes.
CoRR
Cedric Richter, Heike Wehrheim
2022 B conf
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
FASE
Dirk Beyer, Sudeep Kanav, Cedric Richter
2022 A conf
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.
ICST
Cedric Richter, Heike Wehrheim
2022 A conf
TSSB-3M: Mining single statement bugs at massive scale.
MSR
Cedric Richter, Heike Wehrheim
2022 J jnl
TSSB-3M: Mining single statement bugs at massive scale.
CoRR
Cedric Richter, Heike Wehrheim
2021 B conf
CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
FASE
Marie-Christine Jakobs, Cedric Richter
2021 J jnl
DeepMutants: Training neural bug detectors with contextual mutations.
CoRR
Cedric Richter, Heike Wehrheim
2020 J jnl
Algorithm selection for software validation based on graph kernels.
Autom. Softw. Eng.
Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim
2020 A* conf
Attend and Represent: A Novel View on Algorithm Selection for Software Verification.
ASE
Cedric Richter, Heike Wehrheim
2019 — conf
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).
TACAS (3)
Cedric Richter, Heike Wehrheim