J. Lee, Robby and X. 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)(ASE), Tokyo, Japan, 2006, pp. 157-166.
doi:10.1109/ASE.2006.26
keywords:{null},
url:doi.ieeecomputersociety.org/10.1109/ASE.2006.26