Automatic testing of symbolic execution engines via program generation and differential testing. - Timotej Kapus; Cristian Cadar (ASE, 2017)

Computing summaries of string loops in C for better testing and refactoring. - Timotej Kapus; Oren Ish-Shalom; Shachar Itzhaky; Noam Rinetzky; Cristian Cadar (PLDI, 2019)

A segmented memory model for symbolic execution. - Timotej Kapus; Cristian Cadar (ESEC/SIGSOFT FSE, 2019)

Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? - Timotej Kapus; Martin Nowack; Cristian Cadar (TAP@FM, 2019)

Pending Constraints in Symbolic Execution for Better Exploration and Seeding. - Timotej Kapus; Frank Busse; Cristian Cadar (ASE, 2020)

Past-sensitive pointer analysis for symbolic execution. - David Trabish; Timotej Kapus; Noam Rinetzky; Cristian Cadar (ESEC/SIGSOFT FSE, 2020)

Enhancing dynamic symbolic execution via loop summarisation, segmented memory and pending constraints. - Timotej Kapus (2021)

FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. - Ke Mao; Timotej Kapus; Lambros Petrou; Ákos Hajdu; Matteo Marescotti; Andreas Löscher; Mark Harman; Dino Distefano (ICST, 2022)

PrivacyCAT: Privacy-Aware Code Analysis at Scale. - Ke Mao; Cons Åhs; Sopot Cela; Dino Distefano; Nick Gardner; Radu Grigore; Per Gustafsson; Ákos Hajdu; Timotej Kapus; Matteo Marescotti; Gabriela Cunha Sampaio; Thibault Suzanne (ICSE-SEIP, 2024)

Enhancing Compositional Static Analysis with Dynamic Analysis. - Dino Distefano; Matteo Marescotti; Cons Åhs; Sopot Cela; Gabriela Cunha Sampaio; Radu Grigore; Ákos Hajdu; Timotej Kapus; Ke Mao; Thibault Suzanne (ASE, 2024)

Automated End-to-End Dynamic Taint Analysis for WhatsApp. - Sopot Cela; Andrea Ciancone; Per Gustafsson; Ákos Hajdu; Yue Jia 001; Timotej Kapus; Maksym Koshtenko; Will Lewis; Ke Mao; Dragos Martac (SIGSOFT FSE Companion, 2024)