Raul F. A. M. Vidal

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
Towards the Integration of Visual and Formal Models for GUI Testing. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
Modeling and Testing Hierarchical GUIs. Abstract State Machines (2005)
Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM (2005)
Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
Specification-Based Testing of User Interfaces. DSV-IS (2003)