SOURCE-LINKED INTELLIGENCE

FaultLens: Learning Compact Behavioral Test Suites for Generated Operational Programs

arXiv · AI, language, vision and robotics · article · Aug 27, 2026 · UTC

Generated operational programs are often validated with either a few hand-written examples or exhaustive regression suites. The former can miss sparse boundary and interaction faults, while the latter can be unnecessarily expensive. We introduce FaultLens, a method for learning compact behavioral test suites while preserving an auditable connection to executed evidence. It executes a rich probe domain once, stores the fault-probe kill relation as a sparse outcome cache, and learns probe orderings only from earlier program generations. A fault-driven greedy component exploits known kill structu

Read original source ↗ Open in workspace

recordType

paper

region

Global