ESP: Path-sensitive program verification in polynomial time (2002)

by M Das, S Lerner, M Seigle
Venue:In Conference on Programming Language Design and Implementation (PLDI