A gold standard for assessing the coverage of static analyzers | IEEE Conference Publication | IEEE Xplore