Tu Peng, Kai Wang. Program Verification by Reachability Searching over Dynamic Call Tree. In Xudong Luo, Jeffrey Xu Yu, Zhi Li 0017, editors, Advanced Data Mining and Applications - 10th International Conference, ADMA 2014, Guilin, China, December 19-21, 2014. Proceedings. Volume 8933 of Lecture Notes in Computer Science, pages 588-601, Springer, 2014. [doi]
Abstract is missing.