Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems | IEEE Conference Publication | IEEE Xplore