Generalizing symbolic execution to library classes (2005)

by Sarfraz Khurshid, Yuk Lai Suen
Venue:In Proceedings of PASTE