Extraction and empirical evaluation of GUI-level invariants as GUI Oracles in mobile app testing. - Yarifard, Ali Asghar; Araban, Saeed; Paydar, Samad; Garousi, Vahid; Morisio, Maurizio; Coppola, Riccardo (Information & Software Technology, 2025)