DMCA

Bogor/Kiasan: a k-bounded symbolic execution for checking strong heap properties of open systems (2006)

by Xianghua Deng
Venue:in Proceedings of the IEEE International on Automated Software Engineering
Citations:41 - 4 self