Timotej is a Doctoral Student in the Software Reliability Group at Imperial College London, where he also received his MEng undergraduate degree. He started in the group in the summer 2015 as an UROP student and then expanded his work into an MEng thesis. His research interests include software analysis and testing, more specifically he is currently focusing on symbolic execution.

Group Publications

  • Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

    Timotej Kapus, Martin Nowack, Cristian Cadar

    Conference on Tests and Proofs (TAP 2019)

  • A Segmented Memory Model for Symbolic Execution

    Timotej Kapus, Cristian Cadar

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)

  • Computing Summaries of String Loops in C for Better Testing and Refactoring

    Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar

    ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)

  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

    Timotej Kapus, Cristian Cadar

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)