Department of Computing Science  (» Postal address)

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Contact

 Ulhornsweg 84 - Room A02 3-333

Cedric Richter

Research interests:

Machine Learning and Software verification, and in particular currently

  • Automatic configuration of verification components
  • Dynamic cooperation between machine learning and verification
  • Learning of semantic properties of software code

Publications

  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "On the Role of Artificial and Real Bug Fixes on the Training of Neural Bug Detectors" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
    doi: 10.18420/SW2024_34
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
    doi: 10.18420/SW2024_52
  • J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis on Path Ranges" CoRR, vol. abs/2402.11938.
    doi: 10.48550/ARXIV.2402.11938
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Parallel Program Analysis via Range Splitting" in Proc. Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-30826-0_11
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "How to Train Your Neural Bug Detector: Artificial vs Real Bugs" in Proc. 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023.
    doi: 10.1109/ASE56229.2023.00104
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Variable Misuse Detection: Software Developers versus Neural Bug Detectors" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.
  • [inproceedings] bibtex | Go to document Go to document
    F. Dyck, C. Richter, and H. Wehrheim, "Robustness Testing of Software Verifiers" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_5
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann, M. -, C. Richter, and H. Wehrheim, "Ranged Program Analysis via Instrumentation" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
    doi: 10.1007/978-3-031-47115-5_9
  • C. Janßen, C. Richter, and H. Wehrheim, "Can ChatGPT support software verification?" CoRR, vol. abs/2311.02433.
    doi: 10.48550/ARXIV.2311.02433
  • [inproceedings] bibtex | Go to document Go to document
    D. Beyer, S. Kanav, and C. Richter, "Construction of Verifier Combinations Based on Off-the-Shelf Verifiers" in Proc. Fundamental Approaches to Software Engineering - 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, 2022.
    doi: 10.1007/978-3-030-99429-7_3
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "Learning Realistic Mutations: Bug Creation for Neural Bug Detectors" in Proc. 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022.
    doi: 10.1109/ICST53961.2022.00027
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and H. Wehrheim, "Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?" in Proc. 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022.
    doi: 10.1145/3551349.3561156
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" in Proc. 19th IEEE/ACM International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, 2022.
    doi: 10.1145/3524842.3528505
  • C. Richter and H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" CoRR, vol. abs/2201.12046.
  • C. Richter and H. Wehrheim, "Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes" CoRR, vol. abs/2207.00301.
    doi: 10.48550/ARXIV.2207.00301
  • [inproceedings] bibtex | Go to document Go to document
    M. - and C. Richter, "CoVeriTest with Adaptive Time Scheduling (Competition Contribution)" in Proc. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021.
    doi: 10.1007/978-3-030-71500-7_18
  • C. Richter and H. Wehrheim, "DeepMutants: Training neural bug detectors with contextual mutations" CoRR, vol. abs/2107.06657.
  • C. Richter, E. Hüllermeier, M. -, and H. Wehrheim, "Algorithm selection for software validation based on graph kernels" Autom. Softw. Eng. vol. 27, iss. 1.
    doi: 10.1007/S10515-020-00270-X
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "Attend and Represent: A Novel View on Algorithm Selection for Software Verification" in Proc. 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020.
    doi: 10.1145/3324884.3416633
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter and H. Wehrheim, "PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)" in Proc. 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.
    doi: 10.1007/978-3-030-17502-3_19
(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page