Timotej Kapus

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Pattern Matching

Test Data Generation

Static Analysis

Symbolic Execution

Top Venues

ESEC/SIGSOFT FSE

Publications

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
PrivacyCAT: Privacy-Aware Code Analysis at Scale. ICSE-SEIP (2024)
Sopot Cela, Andrea Ciancone, Per Gustafsson, Ákos Hajdu, Yue Jia, Timotej Kapus, Maksym Koshtenko, Will Lewis, Ke Mao, Dragos Martac
Automated End-to-End Dynamic Taint Analysis for WhatsApp. SIGSOFT FSE Companion (2024)
Ke Mao, Timotej Kapus, Lambros Petrou, Ákos Hajdu, Matteo Marescotti, Andreas Löscher, Mark Harman, Dino Distefano
FAUSTA: Scaling Dynamic Analysis with Traffic Generation at WhatsApp. ICST (2022)
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE (2020)
Timotej Kapus, Frank Busse, Cristian Cadar
Pending Constraints in Symbolic Execution for Better Exploration and Seeding. ASE (2020)
Timotej Kapus, Cristian Cadar
A segmented memory model for symbolic execution. ESEC/SIGSOFT FSE (2019)
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
Computing summaries of string loops in C for better testing and refactoring. PLDI (2019)
Timotej Kapus, Martin Nowack, Cristian Cadar
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM (2019)
Timotej Kapus, Cristian Cadar
Automatic testing of symbolic execution engines via program generation and differential testing. ASE (2017)