Visualize the subsumption hierarchy between coverage criteria: when satisfying one criterion guarantees satisfaction of another.
How to read this
An arrow from A to B means A subsumes B: every test suite that satisfies A automatically satisfies B. Stronger criteria sit at the top. Pick a criterion to trace its chain.
Graph coverage
Logic coverage
Data flow coverage
Select a criterion — in the list or on the graph — to see what it guarantees and what guarantees it.