Explaining failures of program analyses.

Daniel von Dincklage Amer Diwan

Published in: PLDI (2008)

Keyphrases

statistical analysis
test cases
static analysis
program execution
data sets
knowledge base
multiresolution
open source
java programs
generating explanations