PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution) C Richter, H Wehrheim Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 59 | 2019 |
Algorithm selection for software validation based on graph kernels C Richter, E Hüllermeier, MC Jakobs, H Wehrheim Automated Software Engineering 27 (1), 153-186, 2020 | 32 | 2020 |
Construction of verifier combinations based on off-the-shelf verifiers D Beyer, S Kanav, C Richter International Conference on Fundamental Approaches to Software Engineering …, 2022 | 21 | 2022 |
TSSB-3M: Mining single statement bugs at massive scale C Richter, H Wehrheim Proceedings of the 19th International Conference on Mining Software …, 2022 | 18 | 2022 |
Learning realistic mutations: Bug creation for neural bug detectors C Richter, H Wehrheim 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 14 | 2022 |
Attend and represent: a novel view on algorithm selection for software verification C Richter, H Wehrheim Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 12 | 2020 |
Can we learn from developer mistakes? learning to localize and repair real bugs from real bug fixes C Richter, H Wehrheim arXiv preprint arXiv:2207.00301, 2022 | 8 | 2022 |
Parallel program analysis via range splitting J Haltermann, MC Jakobs, C Richter, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2023 | 6 | 2023 |
CoVeriTest with adaptive time scheduling (competition contribution) MC Jakobs, C Richter Fundamental Approaches to Software Engineering 12649, 358, 2021 | 6 | 2021 |
Ranged program analysis via instrumentation J Haltermann, MC Jakobs, C Richter, H Wehrheim International Conference on Software Engineering and Formal Methods, 145-164, 2023 | 5 | 2023 |
Bubaak-SpLit: Split what you cannot verify (Competition contribution) M Chalupa, C Richter International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 3 | 2022 |
Can ChatGPT support software verification? C Janßen, C Richter, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2024 | 2 | 2024 |
DeepMutants: Training neural bug detectors with contextual mutations C Richter, H Wehrheim arXiv preprint arXiv:2107.06657, 2021 | 2 | 2021 |
How to Train Your Neural Bug Detector: Artificial vs Real Bugs C Richter, H Wehrheim 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
Parallel Program Analysis on Path Ranges J Haltermann, MC Jakobs, C Richter, H Wehrheim Science of Computer Programming, 103154, 2024 | | 2024 |
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification J Haltermann, MC Jakobs, C Richter, H Wehrheim Software Engineering 2024 (SE 2024), 157-158, 2024 | | 2024 |
On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors C Richter, H Wehrheim Software Engineering 2024 (SE 2024), 111-112, 2024 | | 2024 |
Robustness Testing of Software Verifiers F Dyck, C Richter, H Wehrheim International Conference on Software Engineering and Formal Methods, 66-84, 2023 | | 2023 |
Variable Misuse Detection: Software Developers versus Neural Bug Detectors C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Gesellschaft für Informatik eV, 2023 | | 2023 |