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