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, }