M.: ESP: path-sensitive program verification in polynomial time (2002)

by M Das, S Lerner, Seigle
Venue:Programming Languages, Design and Implementation