Authors

Siru Tao

Publications 1

Preprint Open access

Discriminating Fixture Coverage in Agent-Infrastructure Verification Suites

Xin Xu, Siru Tao · 2026

Invariant suites and runtime monitors increasingly gate agent deployment decisions, and the evidence offered for any particular suite is almost always a single observation: it passes an implementation believed correct and fails one believed broken. We measure what that observation is worth. Applying mutation analysis t …

Co-authors