Automated Game Testing With Online Search Agent and Model Construction, a Study. - Shirzadehhajimahmood, Samira; Prasetya, I. S. W. B.; Prandi, Davide; Dignum, Frank; Dastani, Mehdi; Keller, Gabriele (Software Testing: Verification & Reliability, 2025)