Publications
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]