Login / Signup

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model.

Yunshan ZhaoYunzhan GongLi LiuQing XiaoZhaohong Yang
Published in: QSIC (2011)
Keyphrases