
Registered user since Tue 12 Sep 2023
Name:Matthias Kettl
Country:Germany
Affiliation:LMU Munich
Personal website: https://www.sosy-lab.org/people/kettl/
Research interests:Formal Verification, Software Engineering, Fault Localization, Automatic Program Repair
Contributions
2024
Mining Software Repositories
ICSE 2024-profile
View general profile
View general profile