Program flow graph oriented analysis of coverage and time performance | IEEE Conference Publication | IEEE Xplore