Atif M. Memon, Mary Lou Soffa, Martha E. Pollack: Coverage criteria for GUI testing. ESEC / SIGSOFT FSE 2001: 256-267