David Trabish

According to our database, David Trabish authored at least 7 papers between 2018 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Enhancing Symbolic Execution with Machine-Checked Safety Proofs.

David Trabish, Shachar Itzhaky

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026

2023

State Merging with Quantifiers in Symbolic Execution.

David Trabish, Noam Rinetzky, Sharon Shoham, Vaibhav Sharma

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

A bounded symbolic-size model for symbolic execution.

David Trabish, Shachar Itzhaky, Noam Rinetzky

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Address-Aware Query Caching for Symbolic Execution.

David Trabish, Shachar Itzhaky, Noam Rinetzky

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

2020

Past-sensitive pointer analysis for symbolic execution.

David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Relocatable addressing model for symbolic execution.

David Trabish, Noam Rinetzky

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2018

Chopped symbolic execution.

David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

Proceedings of the 40th International Conference on Software Engineering, 2018