1 paper
Geyi Yang, Zikun Qu, Xiang Li +4
The executable harness surrounding a GUI model determines how observations are assembled, actions are executed, and verification, recovery, and termination are controlled. Compared…