• Sign in
  • Sign up
conf.researchr.org / Cedric Richter
  • ASE 2020 profile
  • ASE 2022 profile
  • ECOOP and ISSTA 2021 profile
  • ICSE 2022 profile
  • ICSE 2023 profile
  • ICST 2022 profile
  • SPLASH 2020 profile
Cedric Richter

Registered user since Wed 22 Jan 2020

Name:Cedric Richter
Country:Germany
Affiliation:Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Personal website:https://uol.de/en/computingscience/groups/formal-methods/team/cedric-richter
Twitter:https://twitter.com/cedricrupb
Research interests:Machine Learning, Software Verification

Contributions

FormaliSE 2023 Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
ASE 2022 Author of Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse bugs? within the Artifact Evaluation-track
MSR 2022 Author of TSSB-3M: Mining single statement bugs at massive scale within the Data and Tool Showcase Track-track
ICST 2022 Author of Learning Realistic Mutations: Bug Creation for Neural Bug Detectors within the Research Papers-track
ISSTA 2021 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ECOOP 2020 Committee Member in Artifact Evaluation Committee within the Artifacts-track
ASE 2020 Author of Attend and Represent: A Novel View on Algorithm Selection for Software Verification within the Research Papers-track

Share
xMon 27 Mar 13:13
using conf.researchr.org (v1.59.1)
Support page
Sign Up