Muhammad Zubair Malik
Dynamic shape analysis of program heap using graph spectra
ICSE, 2011.
@inproceedings{ICSE-2011-Malik,
author = "Muhammad Zubair Malik",
booktitle = "{Proceedings of the 33rd International Conference on Software Engineering}",
doi = "10.1145/1985793.1985956",
editor = "Richard N. Taylor and Harald Gall and Nenad Medvidović",
isbn = "978-1-4503-0445-0",
pages = "952--955",
publisher = "{ACM}",
title = "{Dynamic shape analysis of program heap using graph spectra}",
year = 2011,
}











