Raul Moreira Vidal

Modeling and Testing Hierarchical GUIs

Ana C. R. Paiva, Nikolai Tillmann, João Pascoal Faria et al. · Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT) · 2005 · 44 citations

Engineering, Computer Engineering, Computer Science +15

Towards the Integration of Visual and Formal Models for GUI Testing

Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal · Electronic Notes in Theoretical Computer Science · 2007 · 27 citations · Full text

Computing, Computer Science, Formal Methods +16

Classification of defect types in requirements specifications: Literature review, proposal and assessment

Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal et al. · Iberian Conference on Information Systems and Technologies · 2011 · 25 citations

Engineering, Computer Science, Quality Engineering +16

A model-to-implementation mapping tool for automated model-based GUI testing

Ana C. R. Paiva, João Faria, Nikolai Tillmann et al. · Open Repository of the University of Porto (University of Porto) · 2005 · 16 citations

Computing, Computer Science, Formal Methods +16