Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



101
TITLE: Visual abstract notation for GUI modelling and testing - VAN4GUIM
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2008, SOURCE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, ISSUE: GSDCA/M/-
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
102
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLISHED: 2007, SOURCE: FMIS@BCS HCI, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 24 Handle
IN MY: ORCID
103
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: MBT, VOLUME: 190, ISSUE: 2 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 13 Handle
IN MY: ORCID
104
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: 31 Handle
IN MY: ORCID
105
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Abstract State Machines
INDEXED IN: DBLP Handle
IN MY: ORCID
106
TITLE: Automated Specification-based Testing of Interactive Components with AsmL
AUTHORS: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 2004, SOURCE: QUATIC, VOLUME: 1135
INDEXED IN: Scopus DBLP Handle
IN MY: ORCID
107
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: 5 Handle
IN MY: ORCID
Page 11 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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