Registered user since Tue 12 Sep 2023
Name:Matthias Kettl
Country:Germany
Affiliation:LMU Munich
Personal website: https://www.sosy-lab.org/people/kettl/
GitHub: https://github.com/matthiaskettl
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