@INPROCEEDINGS{,
author = {J. Lee and Robby and X. Deng},
booktitle = {21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE)},
title = {Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems},
year = {2006},
volume = {00},
number = {},
pages = {157-166},
keywords={null},
doi = {10.1109/ASE.2006.26},
url = {doi.ieeecomputersociety.org/10.1109/ASE.2006.26},
ISSN = {1527-1366},
month={09}
}