TY - CONF
TI - Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems
T2 - 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE)
SP - 157
EP - 166
AU - J. Lee
AU - Robby
AU - X. Deng
PY - 2006
KW - null
DO - 10.1109/ASE.2006.26
JO - 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE)
SN - 0-7695-2579-2
VO - 10.1109/ASE.2006.26
VL - 00
JA - 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06)(ASE)
Y1 - September 2006
ER -