GUICOP: Specification-Based GUI Testing. - Fadi A. Zaraket; Wes Masri; Marc Adam; Dalal Hammoud; Raghd Hamzeh; Raja Farhat; Elie Khamissi; Joseph Noujaim (ICST, 2012)