An empirical study on classification methods for alarms from a bug-finding static C analyzer

DOI10.1016/J.IPL.2006.11.004MaRDI QIDQ845982zbMATH OpenOpenAlexFDO

Authors Kwangkeun Yi, Hosik Choi, Jaehwang Kim, Yongdai Kim

Publication date 29 January 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2006.11.004

zbMATH Keywords

abstract interpretationstatic analysisprogram correctnessclassification methodsstatistical post analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cites work

• scientific article; zbMATH DE number 2044161 (Why is no real title available?)
• scientific article; zbMATH DE number 1863891 (Why is no real title available?)
• scientific article; zbMATH DE number 2090852 (Why is no real title available?)
• scientific article; zbMATH DE number 845714 (Why is no real title available?)
• scientific article; zbMATH DE number 1391397 (Why is no real title available?)
• An extensive comparison of recent classification tools applied to microarray data
• Bagging predictors
• Greedy function approximation: A gradient boosting machine.
• Random forests
• Systematic design of program transformation frameworks by abstract interpretation
• The elements of statistical learning. Data mining, inference, and prediction

Cited in

(1)

• Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses

This page was built for publication: An empirical study on classification methods for alarms from a bug-finding static C analyzer

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q845982)