Chopped Symbolic Execution
David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar
International Conference on Software Engineering (ICSE 2018)
[pdf] [slides] [code]

Relocatable Addressing Model for Symbolic Execution
David Trabish, Noam Rinetzky
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
[pdf] [slides] [code]

Past-Sensitive Pointer Analysis for Symbolic Execution
David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2020)
[pdf] [slides] [code]

Address-Aware Query Caching for Symbolic Execution
David Trabish, Shachar Itzhaky, Noam Rinetzky
IEEE International Conference on Software Testing (ICST 2021)
[pdf] [slides] [code]

A Bounded Symbolic-Size Model for Symbolic Execution
David Trabish, Shachar Itzhaky, Noam Rinetzky
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2021)
[pdf] [slides] [code]

State Merging with Quantifiers in Symbolic Execution
David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2023)
[pdf] [slides] [code]