Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.

Yungbum Jung, Jaehwang Kim, Jaeho Shin, Kwangkeun Yi

Browse the full SAS paper archive.