@inproceedings{OhBrYi11,
   author = {Hakjoo Oh and Lucas Brutschy and Kwangkeun Yi},
   title = {Access Analysis-Based Tight Localization of Abstract Memories},
   booktitle = {VMCAI 2011: 12th International Conference on Verification, Model Checking, and Abstract Interpretation},
   series = {Lecture Notes in Computer Science},
   pages = {356--370},
   publisher = {Springer},
   year = {2011},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}