Sign in
Timotej Kapus
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 7
Top Topics
Static Analysis
Symbolic Execution
Test Generation
Pattern Matching
Top Venues
ESEC/SIGSOFT FSE
ASE
ICST
PLDI
</>
Publications
</>
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)