Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs

Longming Dong, Ji Wang, Liqian Chen. Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs. In Karl R. P. H. Leung, Pornsiri Muenchaisri, editors, 19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012. pages 20-29, IEEE, 2012. [doi]

@inproceedings{DongWC12,
  title = {Modular Heap Abstraction-Based Memory Leak Detection for Heap-Manipulating Programs},
  author = {Longming Dong and Ji Wang and Liqian Chen},
  year = {2012},
  doi = {10.1109/APSEC.2012.35},
  url = {http://dx.doi.org/10.1109/APSEC.2012.35},
  researchr = {https://researchr.org/publication/DongWC12},
  cites = {0},
  citedby = {0},
  pages = {20-29},
  booktitle = {19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4-7, 2012},
  editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri},
  publisher = {IEEE},
  isbn = {978-0-7695-4922-4},
}