Automated specification-based testing of graphical user interfaces - Pimenta, Ana Cristina Ramada Paiva (2006)