Karoliine Holter -

Registered user since Thu 22 Aug 2024

Name:Karoliine Holter

Country:Estonia

Affiliation:University of Tartu, Estonia

GitHub: https://github.com/karoliineh

Contributions

2024

SPLASH

Author of Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results within the Onward! Papers-track

DEBT

Author of Abstract Debugging with GobPie within the DEBT 2024-track

2022

PRIDE

Author of GobPie: An IDE Integration for Goblint Using MagpieBridge within the PRIDE 2022-track