Publications
Journals
Model-based user interface testing with Spec Explorer and ConcurTaskTrees, in Electronic Notes in Theoretical Computer Science, Volume 208, Issue C, pp. 77-93, ISSN: 15710661, José L. Silva, José Creissac Campos, Ana C. R. Paiva, 14 April 2008.
Towards the Integration of Visual and Formal Models for GUI Testing,
in Electronic Notes in Theoretical Computer Science, Volume 190, Issue 2 SPEC. ISS., pp. 99-111, ISSN: 15710661,
Ana C. R. Paiva, João P. Faria, Raul M. Vidal,
31 August 2007.
3-D Surface Characterization Using a Structured-Light Technique, magazine of the Electronic and Telecommunications department of the university of Aveiro, Vol.3 nº 2, pp. 173-179, Jorge A. Silva, Ana C. Paiva, André Restivo, Aurélio Campilho, J. Pontes, 2000.
Conferences
GUI Reverse Engineering With Machine Learning ,
in
RAISE'12 Workshop on Realizing Artificial Intelligence Synergies in Software Engineering,
Inês Coimbra, Ana C. R. Paiva, João P. Faria, Rui Camacho,
pp.-, 2012
Specification-driven Unit Test Generation for Java Generic Classes ,
in
iFM - 9th International Conference on Integrated Formal Methods,
Francisco R. de Andrade, João P. Faria, Antónia Lopes, Ana C. R. Paiva
pp.-, 2012
Specifying UML Protocol State Machines in Alloy ,
in
iFM - 9th International Conference on Integrated Formal Methods,
Ana Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
pp.-, 2012
Reverse Engineering of Graphical User Interfaces,
in The Sixth International Conference on Software Engineering Advances (ICSEA'11),
Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria,
pp.-, 2011
(Slides)
Test Generation from Bounded Algebraic Specifications using Alloy,
in the International Conference on Software and Data Technologies (ICSOFT'11),
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva,
2011
Automatic Generation of GUI Interfaces from VDM++ Specifications: VDM++ GUI Builder
in The Sixth International Conference on Software Engineering Advances (ICSEA'11),
Carlos Nunes, Ana C. R. Paiva,
2011
Reverse Engineering of Graphical User Interfaces,
in The Sixth International Conference on Software Engineering Advances (ICSEA'11),
Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria,
pp.-, 2011
(Slides)
Test case generation from mutated task models,
in the ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'11),
Ana Barbosa, Ana C. R. Paiva, José Creissac Campos,
Pisa, Italy - June 13-16, 2011.
Test Coverage Analysis of the UML Activity Diagrams for Interactive Systems, in 7th International Conference on the Quality of Information and Communications Technology (QUATIC 2010), Ricardo Ferreira, João P. Faria, Ana C. R. Paiva, 2010.
Reverse Engineering of GUI Models for Testing,
in Proceedings of the 5th Conference Systems Iberica and Information Technologias (CISTI 2010),
André Grilo, Ana C. R. Paiva, João P. Faria,
Pages: 284-289,
JUN 16-19,
Santiago Compostela, SPAIN,
2010.
A Roadmap Towards Software Quality at FEUP, in SEPG Europe, João P. Faria, Raul F. A. M. Vidal, Ana C. R. Paiva, 2010.
PETTool: A Pattern-Based Technology and Engineering, in the 2nd International Conference on Software Tehnology and Engineering (ICSTE), Volume 1, pp. 202-206, ISBN: 9781424486656, Marco Cunha, Ana C. R. Paiva, Hugo Sereno Ferreira, Rui Abreu, 3-5 Oct, 2010.
Test Coverage Analysis of UML State Machines, in Proceedings of the Third International Conference on Software Testing Verification, and Validation Workshops (ICSTW), IEEE Conputer Socienty, pp. 284-289, ISBN: 978-0-7695-4050-4, Ricardo Ferreira, João P. Faria, Ana C. R. Paiva, Paris, 2010.
Testing Aspect-Oriented Programs,
in Proceedings of the 5th Conference Systems Iberica and Information Technologias (CISTI 2010),
Rodrigo Moreira, Ana C. R. Paiva, Ademar Aguiar,
Pages: 271-276,
JUN 16-19,
Santiago Compostela, SPAIN,
2010.
Automated GUI Testing, in Proceedings of the Informática2009, XIII Convención y Feria Internacional, IV Taller de Calidad en las Tecnologías de la Información y las Comunicaciones, Ana C. R. Paiva, 12 de Fevereiro, 2009.
Processo de Teste de Interfaces Gráficas com o Utilizador Baseado em Modelos Visuais (VAN4GUIM), in Proceedings of the workshop Interacção 2008, Ana C. R. Paiva, Rodrigo M. L. M. Moreira, Outubro, 2008.
Visual Abstract Notation for GUI Modelling and Testing: VAN4GUIM,
in Proceedings of the 3rd International Conference on Software and Data Technologies (ICSOFT'08),
Rodrigo M. L. M. Moreira, Ana C. R. Paiva,
Pages: 104-111,
JUL 05-08,
Oporto, PORTUGAL,
2008.
Reverse Engineered Formal Models for GUI Testing,
in Proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems,
Ana C. R. Paiva, João Pascoal Faria, Pedro Mendes,
Pages: 218-233,
JUL 01-02,
Berlin, GERMANY,
2007.
Modeling and Testing Hierarchical GUIs, in Proceedings of the 12th International Workshop on Abstract State Machines, ASM'05 – Ana Cristina Paiva, Nikolai Tillmann, João Pascoal Faria, Raul Moreira Vidal, 2005.
A Model-to-implementation Mapping Tool for Automated Model-based GUI Testing,
in Proceedings of the 7th International Conference on Formal Engineering Methods (ICFEM'05),
Ana Cristina Paiva, João Pascoal Faria, Nikolai Tillmann, Raul Moreira Vidal,
Pages: 450-464,
NOV 01-04,
Manchester, ENGLAND,
2005.
Automated Specification-based Testing of Interactive Components with AsmL, in proceedings of the 5th edition of the international conference QUATIC (Quality: the bridge to the future in ICT) – Ana Cristina Paiva, João Pascoal Faria, Raul Moreira Vidal, 2004.
Specification-based Testing of User Interfaces,
in Proceedings of the 10th Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS'03),
Ana C. Paiva, João P. Faria, Raul M. Vidal,
Volume: 2844,
Pages: 139-153,
Date: JUN 11-13,
Funchal, PORTUGAL,
2003.
Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
