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
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)