Program analysis as constraint solving (2008)

by S Gulwani, S Srivastava, R Venkatesan
Venue:In PLDI