@inproceedings{JuKw2008,
   author = {Yungbum Jung and  Kwangkeun Yi},
   title = {Practical memory leak detector based on parameterized procedural  summaries},
   booktitle = {ISMM},
   pages = {131-140},
   year = {2008},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}