TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle. - Matthew C. Davis; Amy Wei; Brad A. Myers; Joshua Sunshine (Proc. ACM Softw. Eng., 2025)