Department für Informatik  (» Postanschrift)

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A2 2-228

+49 441 798-4522

Kontakt

 Ulhornsweg 84 - Raum A02 3-333

Cedric Richter

Forschungsinteressen:

Machine Learning und Software Verifikation, im Moment speziell

  • Automatische Konfiguration von Verifikationskomponenten
  • Dynamische Kooperation zwischen Verifikation und ML
  • Lernen von semantischen Eigenschaften über Programmiersprachen

 

Veröffentlichung

  • J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Parallel program analysis on path ranges" Sci. Comput. Program. vol. 238, p. 103154.
    doi: 10.1016/J.SCICO.2024.103154
  • [inproceedings] bibtex | Dokument aufrufen
    C. Janßen, C. Richter, und H. Wehrheim, "Can ChatGPT support software verification?" in Proc. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, 2024.
    doi: 10.1007/978-3-031-57259-3_13
  • [inproceedings] bibtex | Dokument aufrufen
    C. Richter und 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 | Dokument aufrufen
    J. Haltermann, M. -, C. Richter, und 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
  • [inproceedings] bibtex | Dokument aufrufen
    M. Chalupa und C. Richter, "Bubaak-SpLit: Split what you cannot verify (Competition contribution)" in Proc. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, 2024.
    doi: 10.1007/978-3-031-57256-2_20
  • J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Parallel Program Analysis on Path Ranges" CoRR, vol. abs/2402.11938.
    doi: 10.48550/ARXIV.2402.11938
  • [inproceedings] bibtex | Dokument aufrufen
    J. Haltermann, M. -, C. Richter, und 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 | Dokument aufrufen
    C. Richter und 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 | Dokument aufrufen
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, und 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 | Dokument aufrufen
    F. Dyck, C. Richter, und 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 | Dokument aufrufen
    J. Haltermann, M. -, C. Richter, und 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, und H. Wehrheim, "Can ChatGPT support software verification?" CoRR, vol. abs/2311.02433.
    doi: 10.48550/ARXIV.2311.02433
  • [inproceedings] bibtex | Dokument aufrufen
    D. Beyer, S. Kanav, und 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 | Dokument aufrufen
    C. Richter und 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 | Dokument aufrufen
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, und 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 | Dokument aufrufen
    C. Richter und 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
  • D. Beyer, S. Kanav, und C. Richter. () Reproduction Package for FASE 2022 Article 'Construction of Verifier Combinations Based on Off-the-Shelf Verifiers' (Version FASE21-submission-AE). [Online]. Available: https://doi.org/10.5281/zenodo.5812021
    doi: 10.5281/ZENODO.5812021
  • C. Richter und H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" CoRR, vol. abs/2201.12046.
  • C. Richter und 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 | Dokument aufrufen
    M. - und 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 und H. Wehrheim, "DeepMutants: Training neural bug detectors with contextual mutations" CoRR, vol. abs/2107.06657.
  • C. Richter, E. Hüllermeier, M. -, und 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 | Dokument aufrufen
    C. Richter und 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 | Dokument aufrufen
    C. Richter und 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
Webmaster (Stand: 20.06.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page