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

  • [inproceedings] bibtex | Dokument aufrufen 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, pp. 49-70.
    @inproceedings{DBLP:conf/fase/BeyerKR22,
      author = {Dirk Beyer and Sudeep Kanav and Cedric Richter},
      editor = {Einar Broch Johnsen and Manuel Wimmer},
      title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {13241},
      pages = {49--70},
      publisher = {Springer},
      year = {2022},
      url = {https://doi.org/10.1007/978-3-030-99429-7\_3},
      doi = {10.1007/978-3-030-99429-7\_3},
      timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
      biburl = {https://dblp.org/rec/conf/fase/BeyerKR22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen 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, pp. 162-173.
    @inproceedings{DBLP:conf/icst/RichterW22,
      author = {Cedric Richter and Heike Wehrheim},
      title = {Learning Realistic Mutations: Bug Creation for Neural Bug Detectors},
      booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022},
      pages = {162--173},
      publisher = {{IEEE}},
      year = {2022},
      url = {https://doi.org/10.1109/ICST53961.2022.00027},
      doi = {10.1109/ICST53961.2022.00027},
      timestamp = {Mon, 13 Jun 2022 16:53:36 +0200},
      biburl = {https://dblp.org/rec/conf/icst/RichterW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    C. Richter und H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" in Proc. IEEE/ACM 19th International Conference on Mining Software Repositories, MSR 2022, Pittsburgh, PA, USA, May 23-24, 2022, 2022, pp. 418-422.
    @inproceedings{DBLP:conf/msr/RichterW22,
      author = {Cedric Richter and Heike Wehrheim},
      title = {{TSSB-3M:} Mining single statement bugs at massive scale},
      booktitle = {{IEEE/ACM} 19th International Conference on Mining Software Repositories, {MSR} 2022, Pittsburgh, PA, USA, May 23-24, 2022},
      pages = {418--422},
      publisher = {{IEEE}},
      year = {2022},
      url = {https://doi.org/10.1145/3524842.3528505},
      doi = {10.1145/3524842.3528505},
      timestamp = {Mon, 27 Jun 2022 17:21:52 +0200},
      biburl = {https://dblp.org/rec/conf/msr/RichterW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • C. Richter und H. Wehrheim, "TSSB-3M: Mining single statement bugs at massive scale" CoRR, vol. abs/2201.12046, 2022.
    @article{DBLP:journals/corr/abs-2201-12046,
      author = {Cedric Richter and Heike Wehrheim},
      title = {{TSSB-3M:} Mining single statement bugs at massive scale},
      journal = {CoRR},
      volume = {abs/2201.12046},
      year = {2022},
      url = {https://arxiv.org/abs/2201.12046},
      eprinttype = {arXiv},
      eprint = {2201.12046},
      timestamp = {Wed, 02 Feb 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/journals/corr/abs-2201-12046.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • 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, 2022.
    @article{DBLP:journals/corr/abs-2207-00301,
      author = {Cedric Richter and Heike Wehrheim},
      title = {Can we learn from developer mistakes? Learning to localize and repair real bugs from real bug fixes},
      journal = {CoRR},
      volume = {abs/2207.00301},
      year = {2022},
      url = {https://doi.org/10.48550/arXiv.2207.00301},
      doi = {10.48550/arXiv.2207.00301},
      eprinttype = {arXiv},
      eprint = {2207.00301},
      timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2207-00301.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen 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, pp. 358-362.
    @inproceedings{DBLP:conf/fase/JakobsR21,
      author = {Marie{-}Christine Jakobs and Cedric Richter},
      editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga},
      title = {CoVeriTest with Adaptive Time Scheduling (Competition Contribution)},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {12649},
      pages = {358--362},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-71500-7\_18},
      doi = {10.1007/978-3-030-71500-7\_18},
      timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/fase/JakobsR21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • C. Richter und H. Wehrheim, "DeepMutants: Training neural bug detectors with contextual mutations" CoRR, vol. abs/2107.06657, 2021.
    @article{DBLP:journals/corr/abs-2107-06657,
      author = {Cedric Richter and Heike Wehrheim},
      title = {DeepMutants: Training neural bug detectors with contextual mutations},
      journal = {CoRR},
      volume = {abs/2107.06657},
      year = {2021},
      url = {https://arxiv.org/abs/2107.06657},
      eprinttype = {arXiv},
      eprint = {2107.06657},
      timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2107-06657.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • 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, pp. 153-186, 2020.
    @article{DBLP:journals/ase/RichterHJW20,
      author = {Cedric Richter and Eyke H{\"{u}}llermeier and Marie{-}Christine Jakobs and Heike Wehrheim},
      title = {Algorithm selection for software validation based on graph kernels},
      journal = {Autom. Softw. Eng.},
      volume = {27},
      number = {1},
      pages = {153--186},
      year = {2020},
      url = {https://doi.org/10.1007/s10515-020-00270-x},
      doi = {10.1007/s10515-020-00270-x},
      timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/ase/RichterHJW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen 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, pp. 1016-1028.
    @inproceedings{DBLP:conf/kbse/RichterW20,
      author = {Cedric Richter and Heike Wehrheim},
      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},
      pages = {1016--1028},
      publisher = {{IEEE}},
      year = {2020},
      url = {https://doi.org/10.1145/3324884.3416633},
      doi = {10.1145/3324884.3416633},
      timestamp = {Fri, 12 Feb 2021 13:04:43 +0100},
      biburl = {https://dblp.org/rec/conf/kbse/RichterW20.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen 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, pp. 229-233.
    @inproceedings{DBLP:conf/tacas/RichterW19,
      author = {Cedric Richter and Heike Wehrheim},
      editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen},
      title = {PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)},
      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}},
      series = {Lecture Notes in Computer Science},
      volume = {11429},
      pages = {229--233},
      publisher = {Springer},
      year = {2019},
      url = {https://doi.org/10.1007/978-3-030-17502-3\_19},
      doi = {10.1007/978-3-030-17502-3\_19},
      timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
      biburl = {https://dblp.org/rec/conf/tacas/RichterW19.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Stand: 28.04.2022)