×
Yi，Kwangkeun先生;霍西克·崔;金，Jaehwang;金永代（Kim，Yongdai）

对错误导向静态C分析仪警报分类方法的实证研究。 （英语） Zbl 1184.68158号

信息处理。莱特。 102，编号2-3，118-123（2007）.

引用于1文件

MSC公司：

68甲15 编程语言理论

关键词：

静态分析;抽象解释;统计后分析;分类方法;程序正确性
PDF格式BibTeX公司 XML格式引用
\textit{K.Yi}等人，《信息处理》。莱特。102，编号2--3，118-123（2007；Zbl 1184.68158）
全文： DOI程序

参考文献：

[1] 统计计算R项目
[2] 鲍尔，E。；Kohavi，R.，《投票分类算法的实证比较：打包、增强和变体》，机器学习，36，105-139（1998）
[3] Breiman，L.，打包预测，机器学习，24，2，123-140（1996）·Zbl 0858.68080号
[4] Breiman，L.，《随机森林，机器学习》，45，1，5-32（2001）·Zbl 1007.68152号
[5] 布什，W.R。；平卡斯，J.D。；Sielaff，D.J.，用于发现动态编程错误的静态分析器，《软件实践与经验》，30775-802（2000）·Zbl 1009.68852号
[6] P.Cousot，R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于：《ACM编程语言原理研讨会论文集》，1977年1月，第238-252页；P.Cousot，R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于：《ACM编程语言原理研讨会论文集》，1977年1月，第238-252页
[7] P.Cousot，R.Coosot，《程序分析框架的系统设计》，载于《美国计算机学会编程语言原理研讨会论文集》，1979年，第269-282页；P.Coosot，R.Cousot，程序分析框架的系统设计，摘自：《美国计算机学会编程语言原理研讨会论文集》，1979年，第269-282页·Zbl 1323.68356号
[8] 库索特，P。；库索特，R.，《比较伽罗瓦联系和扩大/缩小抽象解释方法》，（PLILP’92：第四届编程语言实现和逻辑编程国际研讨会论文集（1992），施普林格-弗拉格出版社：柏林施普林格出版社），269-295
[9] T.Fawcett，《ROC图：数据挖掘研究人员的注意事项和实际考虑》，《HPL-2003-4技术报告》，惠普实验室，2003年；T.Fawcett，《ROC图：数据挖掘研究人员的注意事项和实际考虑》，《HPL-2003-4技术报告》，惠普实验室，2003年
[10] Friedman，J.H.，《贪婪函数近似：梯度提升机器》，《统计年鉴》，291189-1232（2001）·Zbl 1043.62034号
[11] 哈西特，T。；Tibshirani，R。；Friedman，J.，《统计学习的要素：数据挖掘、推断和预测》（2001），施普林格出版社：柏林施普林格·Zbl 0973.62007号
[12] Jung，Y。；Kim，J。；Shin，J。；Yi，K.，通过贝叶斯统计后分析抑制来自域-硬件C分析器的假警报，（SAS'05:第12届国际静态分析研讨会。SAS'05：第12届年度国际静态分析会议，计算机科学讲稿，第3672卷（2005），Springer:Springer Berlin），203-217
[13] Kremenek，T。；Engler，D.，Z-ranking:使用统计分析对抗静态分析近似值的影响，（Cousot，R.，SAS'03:第十届国际静态分析研讨会论文集。SAS'03：第十届年度国际静态分析会议论文集，计算机科学讲义，第2694卷（2003），施普林格：柏林施普林格），295-315·Zbl 1067.68545号
[14] Lee，J.W。；Lee，J.B。；帕克，M。；Songa，S.H.，最近应用于微阵列数据的分类工具的广泛比较，计算统计学和数据分析，48869-885（2005）·兹比尔1429.62252
[15] 麦当劳，R.A。；Hand，D.J。；Eckley，I.A.，具有人工类噪声的真实数据集上三种增强算法的经验比较，（MCS 2003:第四届多分类器系统国际研讨会。MCS 2003:第四届多分类器系统国际研讨会，计算机科学讲义，第2709卷（2003），施普林格：施普林格柏林），35-44·Zbl 1040.68702号
[16] Tibshirani，R.，《通过Lasso回归收缩和选择》，皇家统计学会杂志，Ser。B、 50、1、267-288（1996）·Zbl 0850.62538号
[17] Vapnik，V.N.，《统计学习理论》（1998），John Wiley&Sons，Inc·Zbl 0934.62009号
[18] 吴，B。；雅培，T。；Fishman，D。；McMurray，W。；莫尔·G。；斯通，K。；沃德·D。；威廉姆斯，K。；赵浩，利用质谱数据对卵巢癌进行分类的统计方法比较，生物信息学，19636-1643（2003年9月）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。