Cedric Richter

Orcid: 0000-0003-2906-6508

According to our database1, Cedric Richter authored at least 30 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
5
10
1
1
1
1
4
5
4
1
1
1
1
6
3

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Replication package for article 'Parallel Program Analysis on Path Ranges'.
Dataset, March, 2024

Parallel program analysis on path ranges.
Sci. Comput. Program., 2024

Bubaak-SpLit: Split what you cannot verify (Competition contribution).
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.
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.
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

Can ChatGPT support software verification?
Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023
PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).
Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).
Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).
Dataset, November, 2023

PeSCo 2.1: An algorithm selector for sequential portfolios (Competition contribution).
Dataset, November, 2023

How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
Dataset, May, 2023

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'.
Dataset, April, 2023

Ranged Program Analysis via Instrumentation.
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Robustness Testing of Software Verifiers.
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.
Proceedings of the Software Engineering 2023, 2023

How to Train Your Neural Bug Detector: Artificial vs Real Bugs.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Parallel Program Analysis via Range Splitting.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022
CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023).
Dataset, December, 2022

Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers'.
Dataset, January, 2022

Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'.
Dataset, January, 2022

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

TSSB-3M: Mining single statement bugs at massive scale.
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?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
DeepMutants: Training neural bug detectors with contextual mutations.
CoRR, 2021

CoVeriTest with Adaptive Time Scheduling (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020
Algorithm selection for software validation based on graph kernels.
Autom. Softw. Eng., 2020

Attend and Represent: A Novel View on Algorithm Selection for Software Verification.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019
PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019


  Loading...