Specification-based Automated Automated GUI Testing. - Andreas S. Andreou; Anastasis A. Sofokleous; Charis Panayi (ICEIS (3), 2011)