Timotej was 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 and finally a PhD thesis. His research interests include software analysis and testing, having focused on symbolic execution during his PhD studies.
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