- Handling Heap Data Structures in Backward Symbolic Execution2020 | Matematicko-fyzikální fakulta
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Matematicko-fyzikální fakulta
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Matematicko-fyzikální fakulta