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
| ICSE 2022 | Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2022-profile
View general profile
View general profile