|
Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems |
- Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems, March 2006.
Xianghua Deng, Jooyong Lee, Robby.
To appear in the Proceedings of the 21st IEEE International Conference on Automated Software Engineering.
Technical Report, SAnToS-TR2006-1.
pdf (Last updated: June 30, 2006).
|
