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
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