Author

Hang Lyu

h-index 0 View on Semantic Scholar

We have 1 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

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.

Zejun Liu, Hang Lyu, Jing-Tao Zhang · 0 citations