Cedric Richter

According to our database, Cedric Richter authored at least 20 papers between 2019 and 2024.

Collaborative distances:

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

2024

Parallel Program Analysis on Path Ranges.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

CoRR, 2024

Bubaak-SpLit: Split what you cannot verify (Competition contribution).

Marek Chalupa, Cedric Richter

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors.

Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Can ChatGPT support software verification?

Christian Janßen, Cedric Richter, Heike Wehrheim

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Ranged Program Analysis via Instrumentation.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Robustness Testing of Software Verifiers.

Florian Dyck, Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

How to Train Your Neural Bug Detector: Artificial vs Real Bugs.

Cedric Richter, Heike Wehrheim

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Parallel Program Analysis via Range Splitting.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes.

Cedric Richter, Heike Wehrheim

CoRR, 2022

TSSB-3M: Mining single statement bugs at massive scale.

Cedric Richter, Heike Wehrheim

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 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

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

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.

Cedric Richter, Heike Wehrheim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.

Dirk Beyer, Sudeep Kanav, Cedric Richter

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

DeepMutants: Training neural bug detectors with contextual mutations.

Cedric Richter, Heike Wehrheim

CoRR, 2021

CoVeriTest with Adaptive Time Scheduling (Competition Contribution).

Marie-Christine Jakobs, Cedric Richter

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Algorithm selection for software validation based on graph kernels.

Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Heike Wehrheim

Autom. Softw. Eng., 2020

Attend and Represent: A Novel View on Algorithm Selection for Software Verification.

Cedric Richter, Heike Wehrheim

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).

Cedric Richter, Heike Wehrheim

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019