登录
免费注册
首页
论文
论文详情
赞
收藏
引用
分享
科研之友
微信
新浪微博
Facebook
分享链接
An empirical study on classification methods for alarms from a bug-finding static C analyzer
作者:Yi Kwangkeun
*
; Choi Hosik; Kim Jaehwang; Kim Yongdai
来源:
Information Processing Letters
, 2007, 102(2-3): 118-123.
DOI:10.1016/j.ipl.2006.11.004
static analysis
abstract interpretation
statistical post analysis
classification methods
program correctness
出版日期
2007-4-30
全文
全文
访问全文
相似论文
引用论文
参考文献