Raul Fernando Almeida Moreira Vidal


AuthID: R-002-061

Confirmed Publications: 6



1
TITLE: Classification of Defect Types in Requirements Specifications: Literature Review, Proposal and Assessment
AUTHORS: Isabel Lopes Margarido; Joao Pascoal Faria ; Raul Moreira Vidal ; Marco Vieira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXED IN: Scopus WOS
2
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 190, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef Handle
3
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXED IN: Scopus WOS DBLP CrossRef Handle
4
TITLE: Automated Specification-based Testing of Interactive Components with AsmL PDF
AUTHORS: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004., VOLUME: 1135
INDEXED IN: Scopus DBLP Handle
5
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef Handle
6
TITLE: Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases
AUTHORS: João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 1999, SOURCE: XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings
INDEXED IN: DBLP

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service