David Trabish

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 7

Top Topics

Test Generation

Caching Strategies

Symbolic Execution

Specification Language

Top Venues

ESEC/SIGSOFT FSE

Publications

David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. ESEC/SIGSOFT FSE (2023)
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
State Merging with Quantifiers in Symbolic Execution. CoRR (2023)
David Trabish, Shachar Itzhaky, Noam Rinetzky
A bounded symbolic-size model for symbolic execution. ESEC/SIGSOFT FSE (2021)
David Trabish, Shachar Itzhaky, Noam Rinetzky
Address-Aware Query Caching for Symbolic Execution. ICST (2021)
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
Past-sensitive pointer analysis for symbolic execution. ESEC/SIGSOFT FSE (2020)
David Trabish, Noam Rinetzky
Relocatable addressing model for symbolic execution. ISSTA (2020)
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
Chopped symbolic execution. ICSE (2018)