An empirical study on classification methods for alarms from a bug-finding static C analyzer
From MaRDI portal
Publication:845982
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
abstract interpretationstatic analysisprogram correctnessclassification methodsstatistical post analysis
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)
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)