Browsing by Author Ramesh, Soundarya

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2019Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural ConstraintsShiqi, Shen; Shinde, Shweta ; Ramesh, Soundarya; Roychoudhury, Abhik ; Saxena, Prateek