Noam Rinetzky is an Associate Professor in the School of Computer Science at Tel Aviv University. He collaborates frequently 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)
Computing Summaries of String Loops in C for Better Testing and Refactoring
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Chopped Symbolic Execution
International Conference on Software Engineering (ICSE 2018)