Dynamic data structure analysis for Java programs (2006)

by S Pheng, C Verbrugge
Venue:in ICPC