Program analysis via satisfiability modulo path programs (2010)

by William R. Harris , Sriram Sankaranarayanan , Franjo Ivančić , Aarti Gupta
Venue:IN: POPL
Citations:7 - 1 self