FaultLens: Learning Compact Test Suites for Generated Programs

FaultLens automates the creation of minimal behavioral test suites for generated operational programs by learning from a sparse outcome cache of fault-probe relations. It uses a hybrid greedy and mutation-independent diversity approach to ensure coverage across probe families and temporal bins while remaining computationally efficient.