@article{10.1109/ASE.2006.26,
author = {Jooyong Lee, and Robby , and Xianghua Deng, },
title = {Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems},
journal = {2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
volume = {00},
number = {},
issn = {1527-1366},
year = {2006},
pages = {157-166},
doi = {doi.ieeecomputersociety.org/10.1109/ASE.2006.26},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}