@inproceedings{OhYi11,
   author = {Hakjoo Oh and Kwangkeun Yi},
   title = {Access-Based Localization with Bypassing},
   booktitle = {APLAS 2011: 9th Asian Symposium on Programming Languages and Systems},
   series = {Lecture Notes in Computer Science},
   pages = {50--65},
   publisher = {Springer},
   year = {2011},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}