Program Analysis and Machine Learning: A Win-Win Deal.

Aditya V. Nori, Sriram K. Rajamani

Browse the full SAS paper archive.