Automatic Extraction of Heap Reference Properties in Object-Oriented Programs

TitleAutomatic Extraction of Heap Reference Properties in Object-Oriented Programs
Publication TypeJournal Article
Year of Publication2009
AuthorsDemsky, B., and M. Rinard
JournalIEEE Transactions on Software Engineering
Volume35
Number3
Pagination305-324
Date PublishedMay-June