مرکز منطقه ای اطلاع رساني علوم و فناوري - An empirical study on classification methods for alarms from a bug-finding static C analyzer

Title of article :

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

Author/Authors :

Kwangkeun Yi، نويسنده , , Hosik Choi، نويسنده , , Jaehwang Kim، نويسنده , , Yongdai Kim، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2007

Pages :

From page :

118

To page :

123

Keywords :

static analysis , Abstract interpretation , Statistical post analysis , Program correctness , Classification methods

Journal title :

Information Processing Letters

Serial Year :

2007

Journal title :

Information Processing Letters

Record number :

130413

Link To Document :