Cedric Richter

Cedric Richter

Carl Von Ossietzky Universität Oldenburg - Oldenburg / Germany
Others
AD Scientific Index ID: 5654610
Carl von Ossietzky University of Oldenburg
person_outline Cedric Richter's MOST POPULAR ARTICLES
1-) PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution)C Richter, H WehrheimTools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019582019
2-) Algorithm selection for software validation based on graph kernelsC Richter, E Hüllermeier, MC Jakobs, H WehrheimAutomated Software Engineering 27 (1), 153-186, 2020312020
3-) Construction of verifier combinations based on off-the-shelf verifiersD Beyer, S Kanav, C RichterInternational Conference on Fundamental Approaches to Software Engineering …, 2022202022
4-) TSSB-3M: Mining single statement bugs at massive scaleC Richter, H WehrheimProceedings of the 19th International Conference on Mining Software …, 2022192022
5-) Learning realistic mutations: Bug creation for neural bug detectorsC Richter, H Wehrheim2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022142022