2025 FSE TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle Matthew C. Davis, Amy Wei, Brad A. Myers , and 1 more author Foundations of Software Engineering, 2025 PDF