Publications
SelectedTesting Android Incoming Calls in 12th IEEE Conference on Software Testing, Validation and Verification (ICST), Ana C. R. Paiva, Marco A. Gonçalves, André R. Barros, Xi'an, China, 22-27 April, 2019, DOI: 10.1109/ICST.2019.00053
Why does the orientation change mess up my Android application? From GUI failures to code faults in Journal of Software: Testing, Verification and Reliability (STVR), Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, Anna Rita Fasolino, 6 November 2017, DOI: 10.1002/stvr.1654
Mobile GUI Testing in Software Quality Journal, Inês Coimbra Morgado, Ana C. R. Paiva, 2 September 2017, DOI: 10.1007/s11219-017-9387-1
Pattern-based GUI testing: Bridging the gap between design and quality assurance in Journal of Software: Testing, Verification and Reliability (STVR), Rodrigo M.L.M. Moreira, Ana C.R. Paiva, Miguel Nabuco, Atif Memon, 2 March 2017, DOI: 10.1002/stvr.1629.
Multidimensional test coverage analysis: PARADIGM-COV tool in Cluster Computing Journal, Ana C.R. Paiva, Liliana Vilela, 16 January 2017, DOI: 10.1007/s10586-017-0728-4.
Software
Engineering Management Education through Game Design Patterns
in Procedia - Social and Behavioral Sciences, Vol228, pp. 436-442, 20 July 2016,
doi: 10.1016/j.sbspro.2016.07.067.
PBGT Tool: An Integrated Modeling and Testing Environment for Pattern-based GUI Testing in Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering (ASE2014), Moreira, Rodrigo M.L.M. and Paiva, Ana C.R., September 15-19, 2014, Västerås, Sweden.
A Pattern-Based Approach for GUI Modeling and Testing, in the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE2013), Rodrigo Moreira, Ana C. R. Paiva, Atif Memon, November 4-7, 2013, Pasadena, CA, USA.
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.
Dynamic Reverse Engineering of Graphical User Interfaces, in International Journal on Advances in Software, vol 5 no 3 & 4, pp 224-236, Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, 2012.
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.
Journals
The iMPAcT Tool for Android Testing in Proceedings of the ACM on Human-Computer Interaction, Vol. 3, No. EICS, Article 4. Publication date: June 2019 (accepted)
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines in Communications in Computer Science (CCIS) 991, pp. 455--474, 2019
Impact of execution modes on finding Android failures in Procedia Computer Science, vol.83, pp.284-291, ISSN 1877-0509, Inês Coimbra Morgado, Ana C. R. Paiva, 2016
REQAnalytics: A Recommender System for Requirements Maintenance in International Journal of Software Engineering and Its Applications, vol.10, n.1, pp.129-140, Jorge Esparteiro Garcia, Ana C. R. Paiva, 2016
A Requirements-to-Implementation Mapping Tool for Requirements Traceability in International Journal of Software, vol.11, n.2, pp.193-200, Jorge Esparteiro Garcia, Ana C. R. Paiva, 2016
iLearnTest - framework for educational games in Procedia: Social and Behavioral Sciences, Ana C. R. Paiva, Nuno Flores, Tânia P. B. Ribeiro, André G. Barbosa, 2016
A Toolset for Conformance Testing against UML Sequence Diagrams based on Event-Driven Colored Petri Nets in International Journal on Software Tools for Technology Transfer, 2014 João Pascoal Faria, Ana C. R. Paiva
Dynamic Reverse Engineering of Graphical User Interfaces, in International Journal on Advances in Software, vol 5 no 3 & 4, pp 224-236, Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, 2012.
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
Testing When Mobile Apps Go to Background and Come Back to Foreground in Workshops of the International Conference on Software Testing (ICSTW), Ana C. R. Paiva, João M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro, 2019
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach, 14th International Conference on Evaluation of Novel Approaches to Software Engineering, Daniel Maciel, Ana C. R. Paiva1, Alberto Rodrigues da Silva, 2019
Automatic Test Case Generation from Usage Information in 11th International Conference on the Quality of Information and Communications Technology (QUATIC), Pedro Silva, Ana C. R. Paiva, André Restivo and Jorge E. Garcia, 2018
Manage Software Requirements Specification Using Web Analytics Data, in Trends and Advances in Information Systems and Technologies - Volume2 [WorldCIST'18], Jorge Esparteiro Garcia and Ana C. R. Paiva, Naples, Italy, March 27-29, 2018.
End-to-end Automatic Business Process Validation, in the 8th International Symposium on Frontiers in Ambient and Mobile Systems (FAMS 2018), Ana C. R. Paiva, Nuno H. Flores, João P. Faria, José M. G. Marques, 2018
A Brief Overview of Existing Tools for Testing the Internet-of-Things, in First International Workshop on Verification and Validation of Internet of Things (VVIOT), co-located with ICST (International Conference on Software Testing, João Pedro Dias, Flávio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira, 2018
Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests in the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva, 2018
Pattern based Web Security Testing in the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Paulo J. M. Araújo, Ana C. R.Paiva, 2018
Pattern-Based Usability Testing in the IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Fernando Dias, Ana C. R. Paiva, 2017
An Automated Approach for Requirements Specification Maintenance in WorldCist'16 - 4th World Conference on Information Systems and Technologies, Jorge Esparteiro Garcia, Ana C. R. Paiva, 2016
The iMPAcT Tool: Testing UI Patterns on Mobile Applications in ASE - Automated Software Engineering, Inês Coimbra Morgado, Ana C. R. Paiva, 2015
Testing approach for mobile applications through reverse engineering of UI patterns in TESTBEDS - Sixth International Workshop on Testing Techniques for Event BasED Software, Inês Coimbra Morgado, Ana C. R. Paiva, 2015
Test Patterns for Android Mobile Applications in EuroPLoP - 20th European Conference on Pattern Languages of Programs, Inês Coimbra Morgado, Ana C. R. Paiva, 2015
A Novel Approach using Alloy in Domain-Specific Language Engineering in MODELSWARD - 3th International Conference on Model-Driven Engineering and Software Development Rodrigo Moreira , Ana C. R. Paiva, 2015
Game Design Techniques for Software Engineering Management Education in 18th IEEE International Conference on Computational Science and Engineering, Pedro Letra, Ana C. R. Paiva, Nuno Flores, 2015
iLearnTest - Jogo Educativo para Aprendizagem de Teste de Software in Atas da 10a Conferencia Ibérica de Sistemas y Tecnologías de la Información (CISTI'2015), Tânia Ribeiro , Ana C. R. Paiva, 2015
Towards a Pattern Language for Model-Based GUI Testing in EuroPLoP - 19th European Conference on Pattern Languages of Programs, Rodrigo Moreira , Ana C. R. Paiva, 2014
Pattern Based GUI Testing for Mobile Applications in 9th International Conference on the Quality of Information and Communications Technology (QUATIC'14), Pedro Costa, Ana C. R. Paiva, and Miguel Nabuco, 23 to 26 September, Guimarães, Portugal, 2014
Web Application Model Generation through Reverse Engineering and UI Pattern Inferring in 9th International Conference on the Quality of Information and Communications Technology (QUATIC'14), Clara Sacramento and Ana C. R. Paiva, 23 to 26 September, Guimarães, Portugal, 2014
Automated Pattern-Based Testing of Mobile Applications in 5th Portuguese Software Engineering Doctoral Symposium (SEDES 2014) hosted by 9th International Conference on the Quality of Information and Communications Technology (QUATIC'14), Inês Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, September 23rd, Guimarães, Portugal, 2014
Inferring User Interface Patterns from Execution Traces of Web Applications, in Software Quality workshop of the 14th International Conference on Computational Science and Applications (ICCSA 2014), Miguel Nabuco, Ana C. R. Paiva, June 30 - July 3, Guimaraes, Portugal, 2014
Model-based test case generation for Web Applications, in 14th International Conference on Computational Science and Applications (ICCSA 2014), Miguel Nabuco, Ana C. R. Paiva, June 30 - July 3, Guimaraes, Portugal, 2014
PARADIGM-COV - A Multimensional Test Coverage Analysis Tool, in CISTI 2014 - 9a Conferencia Ibérica de Sistemas y Tecnologías de Información, Liliana Vilela, Ana C. R. Paiva, Barcelona, 18-21 Junio, 2014
A GUI Modeling DSL for Pattern-Based GUI Testing -- PARADIGM, in the 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE'14), Rodrigo Moreira, Ana C. R. Paiva, April 28-30, 2014, Lisbon, Portugal.
SaaS Usage Information for Requirements Maintenancea, in 16th International Conference on Enterprise Information Systems (ICEIS'14), Ana Garcia, Ana C. R. Paiva April 27-30, 2014, Lisbon, Portugal.
A Pattern-Based Approach for GUI Modeling and Testing, in the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE2013), Rodrigo Moreira, Ana C. R. Paiva, Atif Memon, Noverber 4-7, 2013, Pasadena, CA, USA.
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
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.
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 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 C. R. 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 C. R. 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 C. R. 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.