Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Jan Haltermann, Manuel Töws, Felix Pauck, Cedric Richter, Heike Wehrheim, Jürgen König, Arnab Sharma, Steffen Beringer, Oleksandra Koslova, Elisabeth Schlatt (left to right)

Cedric Richter, M.Sc.

Address: Cedric Richter
Paderborn University
Faculty of Electrical Engineering, Computer Science and Mathematics
Warburger Str. 100
D-33098 Paderborn, Germany
Office:

O4.122

Availability (Working hours):
Monday - Friday
08:00 am until 04:00 pm

Phone: +49 (0) 5251-60-1762
Fax:  +49 (0) 5251-60-3993 

Email:

cedricr(at)mail.upb(dot)de
Secretary: Elisabeth Schlatt
Phone: +49 (0) 5251-60-3764
Email: schlatt(at)mail.upb.de
Office: O4.125

Teaching

 

Publications


Open list in Research Information System

2023

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?

C. Richter, J.F. Haltermann, M. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023


2022

Learning Realistic Mutations: Bug Creation for Neural Bug Detectors

C. Richter, H. Wehrheim, in: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), 2022, pp. 162-173

DOI


TSSB-3M: Mining single statement bugs at massive scale

C. Richter, H. Wehrheim, in: 2022 IEEE/ACM 19th International Conference on Mining Software Repositories (MSR), 2022, pp. 418-422

DOI


2020

Attend and Represent: A Novel View on Algorithm Selection for Software Verification

C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016-1028


Algorithm Selection for Software Validation Based on Graph Kernels

C. Richter, E. Hüllermeier, M. Jakobs, H. Wehrheim, Journal of Automated Software Engineering (2020)


2019

PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)

C. Richter, H. Wehrheim, 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}, Springer, 2019, pp. 229-233

DOI


Open list in Research Information System

Research Interest

Algorithm Selection for Software Verification

 

The University for the Information Society