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

DOI10.1016/J.IPL.2006.11.004zbMATH Open1184.68158OpenAlexW2149462209MaRDI QIDQ845982FDOQ845982

Hosik Choi, Jaehwang Kim, Yongdai Kim, Kwangkeun Yi

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

• The elements of statistical learning. Data mining, inference, and prediction
• Greedy function approximation: A gradient boosting machine.
• Title not available (Why is that?)
• Random forests
• Bagging predictors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Systematic design of program transformation frameworks by abstract interpretation
• Title not available (Why is that?)
• An extensive comparison of recent classification tools applied to microarray data
• Title not available (Why is that?)

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)