TY  - RPRT
TI  - Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
AU  - Sean Kauffman
AU  - Carlos Moreno
AU  - Sebastian Fischmeister
PY  - 2024
DO  - 10.1109/icstw60967.2024.00021
UR  - https://arxiv.org/abs/2407.04144
ID  - 2407.04144
ER  -