Old Web
English
Sign In
Acemap
>
Paper
>
An empirical study on classification methods for alarms from a bug-finding static C analyzer
An empirical study on classification methods for alarms from a bug-finding static C analyzer
2007
Kwangkeun Yi
Hosik Choi
Jaehwang Kim
Yongdai Kim
Keywords:
Discrete mathematics
Information processing
Abstract interpretation
Spectrum analyzer
Machine learning
Empirical research
Statistics
Static analysis
Artificial intelligence
Computer science
Data mining
classification methods
statistical analysis
Correction
Source
Cite
Save
Machine Reading By IdeaReader
19
References
25
Citations
NaN
KQI
[]