conf.researchr.org / Thomas Lemberger
Thomas Lemberger

Registered user since Wed 4 Sep 2019

Name:Thomas Lemberger
Country:Germany
Affiliation:LMU Munich
Personal website:https://www.sosy-lab.org/people/lemberger/
Research interests:Software Verification, Code Analysis, Software Testing, Fault Localization, Program Repair

Contributions

VMCAI 2021 Committee Member in Artifact Evaluation Committee within the VMCAI-track
ICSE 2022 Author of Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR within the Technical Track-track
PLDI 2020 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
ASE 2019 Author of TestCov: Robust Test-Suite Execution and Coverage Measurement within the Demonstrations-track
ETAPS 2019 Author of CPAchecker with Strategy Selection within the Posters-track
* ICSE 2018 * Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track