@inproceedings{ASE-2009-VakilianDBOAJ,
	author        = "Mohsen Vakilian and Danny Dig and Robert L. Bocchino Jr. and Jeffrey Overbey and Vikram S. Adve and Ralph E. Johnson",
	booktitle     = "{Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering}",
	doi           = "10.1109/ASE.2009.68",
	isbn          = "978-0-7695-3891-4",
	pages         = "421--432",
	publisher     = "{IEEE Computer Society}",
	title         = "{Inferring Method Effect Summaries for Nested Heap Regions}",
	year          = 2009,
}