Annotating Control-Flow Graphs for Formalized Test Coverage Criteria | IEEE Conference Publication | IEEE Xplore