← All Visualizations

Combinatorial

Generate covering arrays that exercise every t-way combination of input parameters.

Control Flow

Construct control flow graphs from program source and analyze coverage criteria — node, edge, condition, and path coverage.

Subsumption

Visualize the subsumption hierarchy between coverage criteria: when satisfying one criterion guarantees satisfaction of another.