Timotej was a UROP student during the summer of 2015. He returned to the group to pursue a PhD, see here.

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

    Proceedings of the 40th 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)