Path-Sensitive Analysis Using Edge Strings (2010)

by Armand Navabi , Nicholas Kidd , Suresh Jagannathan