Author

Jing-Tao Zhang

View on Semantic Scholar

1 paper indexed here

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