Get started
Author

Cedric Richter

PeSCo: Predicting Sequential Combinations of Verifiers
2019 · Cedric Richter, Heike Wehrheim · Lecture notes in computer science · 63
PDF
Algorithm selection for software validation based on graph kernels
2020 · Cedric Richter, Eyke Hüllermeier, et al. · Automated Software Engineering · 56
PDF
TSSB-3M
2022 · Cedric Richter, Heike Wehrheim · International Conference on Mining Software Repositories (MSR) · 31
PDF
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers
2022 · Dirk Beyer, Sudeep Kanav, et al. · Lecture notes in computer science · 27
PDF
Can ChatGPT support software verification?
2024 · Christian Janßen, Cedric Richter, et al. · Lecture notes in computer science · 26
PDF
Learning Realistic Mutations: Bug Creation for Neural Bug Detectors
2022 · Cedric Richter, Heike Wehrheim · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 19
Attend and represent
2020 · Cedric Richter, Heike Wehrheim · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 16
CoVeriTest with Adaptive Time Scheduling (Competition Contribution)
2021 · Marie-Christine Jakobs, Cedric Richter · Lecture notes in computer science · 15
PDF
Bubaak-SpLit: Split what you cannot verify (Competition contribution)
2024 · Marek Chalupa, Cedric Richter · Lecture notes in computer science · 14
PDF
Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
2025 · Richter, Cedric, Wehrheim, Heike · arXiv (Cornell University) · 13
PDF
Parallel Program Analysis via Range Splitting
2023 · Jan Haltermann, Marie-Christine Jakobs, et al. · Lecture notes in computer science · 9
PDF
Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes
2022 · Richter, Cedric, Wehrheim, Heike · arXiv (Cornell University) · 9
PDF
Ranged Program Analysis via Instrumentation
2023 · Jan Haltermann, Marie-Christine Jakobs, et al. · Lecture notes in computer science · 5
Cooperative Software Verification via Dynamic Program Splitting
2025 · Cedric Richter, Marek Chalupa, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 4
BUBAAK: Dynamic Cooperative Verification
2025 · Marek Chalupa, Cedric Richter · Lecture notes in computer science · 4
PDF
Parallel program analysis on path ranges
2024 · Jan Haltermann, Marie-Christine Jakobs, et al. · Science of Computer Programming · 4
How to Train Your Neural Bug Detector: Artificial vs Real Bugs
2023 · Cedric Richter, Heike Wehrheim · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 4
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
2022 · Cedric Richter, Jan Haltermann, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 3
PDF
Construction of verifier combinations from off-the-shelf components
2025 · Dirk Beyer, Sudeep Kanav, et al. · Formal Methods in System Design · 2
DeepMutants: Training neural bug detectors with contextual mutations
2021 · Richter, Cedric, Wehrheim, Heike · arXiv (Cornell University) · 2
PDF
Prompt Coverage Adequacy
2026 · Tambon, Florian, Konstantinou, Michael, et al. · arXiv (Cornell University) · 1
PDF
Underspecification does not imply Incoherence: The Risks of Semantic Collapse in Coding Models
2026 · Richter, Cedric, Papadakis, Mike · arXiv (Cornell University) · 1
PDF
Robustness Testing of Software Verifiers
2023 · Florian Dyck, Cedric Richter, et al. · Lecture notes in computer science · 1
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
2022 · Richter, Cedric, Haltermann, Jan, et al. · Zenodo (CERN European Organization for Nuclear Research) · 1
Towards Agentic Proof Harness Engineering
2026 · Shanmuganathan, Rohith Kumar, Richter, Cedric, et al. · arXiv (Cornell University)
PDF
Works count: 51
Citation count: 270
H-index: 9
I10-index: 9
Year
Topic
Type