Timotej was a UROP student during the summer of 2015. He returned to the group to pursue a PhD, see here.
Group Publications
-
Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Timotej Kapus, Frank Busse, Cristian Cadar
IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
-
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Timotej Kapus, Martin Nowack, Cristian Cadar
International 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
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
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
Talks
-
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Talk @ ASE 2020
-
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Talk @ TAP 2019
-
A Segmented Memory Model for Symbolic Execution
Talk @ ESEC/FSE 2019
-
Computing Summaries of String Loops in C for Better Testing and Refactoring
Talk @ PLDI 2019
-
A Segmented Memory Model for Symbolic Execution
Talk @ ASE 2017