Jooyong Lee, Robby , Xianghua Deng, "Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems", 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) vol. 00 no. , p. 157-166, , 2006