Test Minimization

Technique

First seen 9/10/2026

Last seen 9/10/2026

Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

3 connections

ReFuzz ← implements 98% 2e

ReFuzz uses a test minimizer to remove redundant PP-tests before training the CB model.

Test minimization in ReFuzz is formulated and solved using integer programming.

Coverage Matrix uses → 100% 1e

Test minimization requires a coverage matrix as input to identify redundant tests.