A User-Guided Approach to Program Analysis. Mangal, R., Zhang, X., Naik, M., & Nori, A. V. In ACM Symposium on Foundations of Software Engineering (FSE), August, 2015. Distinguished Paper Award
A User-Guided Approach to Program Analysis [pdf]Paper  A User-Guided Approach to Program Analysis [pptx]Slides  bibtex   

Downloads: 0