Searching for "Bogor/Kiasan A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Bogor/Kiasan: a k-bounded symbolic execution for checking strong heap properties of open systems
by Xianghua Deng — 2006 — in Proceedings of the IEEE International on Automated Software Engineering
…Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems…
Cited by 9 (1 self) – Add To MetaCart

Dynamic Reverse-Code Generation
by Phd Dissertation, Jooyong Lee, Jooyong Lee — 2006
… Deng, Jooyong Lee, and Robby. Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB