Heike Wehrheim

Registered user since Tue 14 Sep 2021

Name:Heike Wehrheim
Country:Germany
Affiliation:Carl von Ossietzky Universit├Ąt Oldenburg / University of Oldenburg

Contributions

FormaliSE 2022 Committee Member in Program Committee within the FormaliSE 2022-track
Author of Property-Driven Testing of Black-Box Functions within the FormaliSE 2022-track
ICST 2022 Author of Learning Realistic Mutations: Bug Creation for Neural Bug Detectors within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Machine Learning Based Invariant Generation: A Framework and Reproducibility Study within the Research Papers-track
MSR 2022 Author of TSSB-3M: Mining single statement bugs at massive scale within the Data and Tool Showcase Track-track
SOAP 2021 Committee Member in Program Committee within the SOAP 2021-track
ASE 2020 Author of Attend and Represent: A Novel View on Algorithm Selection for Software Verification within the Research Papers-track
ICSE 2022 Author of Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR within the Technical Track-track
ICST 2021 Committee Member in Program Committee within the Research Papers-track
Journal-First Track Chair in Program Chairs within the Journal-First Papers-track
Session Chair of Journal First I (part of Journal-First Papers)
Journal-First Track Chair in Organizing Committee
ISSTA 2020 Author of Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models within the Technical Papers-track
ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track
Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track
Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
SPLASH 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track
VMCAI 2020 PC Member in Program Committee within the VMCAI 2020-track
PPoPP 2019 Author of Verifying C11 Programs Operationally within the Main Conference-track
FASE 2019 Session Chair of Software Verification II (part of FASE 2019)
Committee Member in Program Committee within the FASE 2019-track
ETAPS 2019 Author of PeSCo: Predicting Sequential Combinations of Verifiers within the Posters-track
Author of ETAPS Steering committee meeting within the Social-track
ESEC/FSE 2018 Author of Do Android Taint Analysis Tools Keep Their Promises? within the Research Papers-track
* ICSE 2018 * Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track