Hang Lyu

FaultLens: Learning Compact Behavioral Test Suites for Generated Operational Programs

FaultLens is introduced, a method for learning compact behavioral test suites while preserving an auditable connection to executed evidence and provides a prioritized evidence mechanism, not a proof of correctness, and makes its budget, evidence source, generalization split, and misses explicit.