Cedric Richter
Orcid: 0000-0003-2906-6508
According to our database1,
Cedric Richter
authored at least 30 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
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 OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Dataset, March, 2024
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
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
Reproduction Package for FMSD Article 'Construction of Verifier Combinations From Off-the-Shelf Components'.
Dataset, April, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023
Proceedings of the Software Engineering 2023, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
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
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Proceedings of the Fundamental Approaches to Software Engineering, 2022
2021
Proceedings of the Fundamental Approaches to Software Engineering, 2021
2020
Autom. Softw. Eng., 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019