@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

@inbookWehrheim_Hüllermeier_Becker_Becker_Richter_Sharma_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Composition Analysis in Unknown Contexts, volume=412, DOI=10.5281/zenodo.8068510, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=105–123, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 
LibreCat: /record/45886
DOI: 10.5281/zenodo.8068510

@inproceedingsRichter_Wehrheim_2022, title=Learning Realistic Mutations: Bug Creation for Neural Bug Detectors, DOI=10.1109/ICST53961.2022.00027, booktitle=2022 IEEE Conference on Software Testing, Verification and Validation (ICST), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=162–173 
LibreCat: /record/32590
DOI: 10.1109/ICST53961.2022.00027

@inproceedingsRichter_Wehrheim_2022, title=TSSB-3M: Mining single statement bugs at massive scale, DOI=10.1145/3524842.3528505, booktitle=2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), author=Richter, Cedric and Wehrheim, Heike, year=2022, pages=418–422 
LibreCat: /record/32591
DOI: 10.1145/3524842.3528505

@inproceedingsRichter_Wehrheim_2020, title=Attend and Represent: A Novel View on Algorithm Selection for Software Verification, booktitle=35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, publisher=IEEE, author=Richter, Cedric and Wehrheim, Heike, year=2020, pages=1016–1028 
LibreCat: /record/21018

@articleRichter_Hüllermeier_Jakobs_Wehrheim, title=Algorithm Selection for Software Validation Based on Graph Kernels, journal=Journal of Automated Software Engineering, publisher=Springer, author=Richter, Cedric and Hüllermeier, Eyke and Jakobs, Marie-Christine and Wehrheim, Heike 
LibreCat: /record/16725

@inproceedingsRichter_Wehrheim_2019, series=Lecture Notes in Computer Science, title=PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution), volume=11429, DOI=10.1007/978-3-030-17502-3_19, booktitle=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, publisher=Springer, author=Richter, Cedric and Wehrheim, Heike, editor=Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, BernhardEditors, year=2019, pages=229–233, collection=Lecture Notes in Computer Science 
LibreCat: /record/10095
DOI: 10.1007/978-3-030-17502-3_19