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 ;
SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PUBLISHED: 2011
INDEXED IN: Scopus WOS
2
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 190, ISSUE: 2 SPEC. ISS., PUBLISHED: 2007
INDEXED IN: Scopus DBLP CrossRef: 10
3
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785, PUBLISHED: 2005
INDEXED IN: Scopus WOS DBLP CrossRef: 15
4
TITLE: Automated specification-based testing of interactive components with asmL PDF
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135, PUBLISHED: 2004
INDEXED IN: Scopus DBLP
5
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PUBLISHED: 2003
INDEXED IN: Scopus WOS DBLP CrossRef: 6
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 ;
SOURCE: XIV Simpósio Brasileiro de Banco de Dados, 11-13 Outubro 1999, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PUBLISHED: 1999
INDEXED IN: DBLP