Inferring method effect summaries for nested heap regions (2009)

by M Vakilian, D Dig, R Bocchino, J Overbey, V Adve, R Johnson
Venue:In Proc. of the IEEE/ACM International Conference on Automated Software Engineering, ASE ’09