Xianghua Deng Jooyong Lee Robby Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. 157-166 2006 conf/kbse/2006 ASE http://doi.ieeecomputersociety.org/10.1109/ASE.2006.26 db/conf/kbse/ase2006.html#DengLR06