Software Testing

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

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

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