![](/img/cover-not-exists.png)
[IEEE 2011 11th International Conference on Quality Software (QSIC) - Madrid, Spain (2011.07.13-2011.07.14)] 2011 11th International Conference on Quality Software - Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model
Zhao, Yunshan, Gong, Yunzhan, Liu, Li, Xiao, Qing, Yang, ZhaohongYear:
2011
Language:
english
DOI:
10.1109/qsic.2011.15
File:
PDF, 411 KB
english, 2011