Trace-Bisimulation Equivalence for Regression Detection in Non-Deterministic Code-Generating Analytics Agents. - Chodisetti, Ravi Chandra (Journal of Computational Analysis & Applications, 2026)