Timotej was a UROP student during the summer of 2015. He returned to the group to pursue a PhD, see here.
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Conference on Tests and Proofs (TAP 2019)
A Segmented Memory Model for Symbolic Execution
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
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
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)