C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,”10.1145/3551349.3561156__2023, doi:10.1145/3551349.3561156 .
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, and A. Sharma, “Composition Analysis in Unknown Contexts,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 105–123.
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

C. Richter and H. Wehrheim, “Learning Realistic Mutations: Bug Creation for Neural Bug Detectors,”10.1109/ICST53961.2022.00027__in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162–173, doi:10.1109/ICST53961.2022.00027 .
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

C. Richter and H. Wehrheim, “TSSB-3M: Mining single statement bugs at massive scale,”10.1145/3524842.3528505__in 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418–422, doi:10.1145/3524842.3528505 .
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm Selection for Software Verification,” in 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020, pp. 1016–1028.
LibreCat: /record/21018

C. Richter, E. Hüllermeier, M.-C. Jakobs, and H. Wehrheim, “Algorithm Selection for Software Validation Based on Graph Kernels,” Journal of Automated Software Engineering.
LibreCat: /record/16725

C. Richter and H. Wehrheim, “PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution),” in Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, 2019, vol. 11429, pp. 229–233.
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19