Yunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang. Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model. In Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. pages 51-60, IEEE Computer Society, 2011. [doi]
Abstract is missing.