Heike Wehrheim -

Registered user since Tue 14 Sep 2021

Name:Heike Wehrheim

Country:Germany

Affiliation:Carl von Ossietzky Universität Oldenburg / University of Oldenburg

Personal website:https://uol.de/en/computingscience/groups/formal-methods/team/heike-wehrheim

Contributions

FormaliSE 2023	Committee Member in Program Committee within the FormaliSE 2023-track
ICSE 2022	Author of Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR within the Technical Track-track
MSR 2022	Author of TSSB-3M: Mining single statement bugs at massive scale within the Data and Tool Showcase Track-track
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
SOAP 2021	Committee Member in Program Committee within the SOAP 2021-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
SPLASH 2020	Author of Owicki-Gries Reasoning for C11 RAR within the Posters-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
ASE 2020	Author of Attend and Represent: A Novel View on Algorithm Selection for Software Verification within the Research Papers-track
ISSTA 2020	Author of Higher Income, Larger Loan? Monotonicity Testing of Machine Learning Models within the Technical Papers-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-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
FASE 2019	Session Chair of Software Verification II (part of FASE 2019) Committee Member in Program Committee within the FASE 2019-track
PPoPP 2019	Author of Verifying C11 Programs Operationally within the Main Conference-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