Xianghua Deng, Jooyong Lee, Robby. Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan. pages 157-166, IEEE Computer Society, 2006. [doi]
Abstract is missing.