David Trabish is a PhD student in the School of Computer Science at Tel Aviv University. He has collaborated on several projects with the Software Reliability Group.
Past-Sensitive Pointer Analysis for Symbolic Execution
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2020)
Chopped Symbolic Execution
International Conference on Software Engineering (ICSE 2018)