- Deconstructing Dynamic Symbolic Execution2015 | Faculty of Mathematics and Physics
- Source Code Assertion Verification Using Backward Symbolic Execution2019 | Faculty of Mathematics and Physics
- Handling Heap Data Structures in Backward Symbolic Execution2020 | Faculty of Mathematics and Physics
- AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention2019 | Faculty of Mathematics and Physics
- AskTheCodePublication without faculty affiliation
- Towards Efficient Software Comprehension with Code Analysis2022 | Faculty of Mathematics and Physics