Ana C. R. Paiva

According to our database, Ana C. R. Paiva authored at least 81 papers between 2003 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Testing infrastructures to support mobile application testing: A systematic mapping study.

Pedro Henrique Kuroishi, Ana Cristina Ramada Paiva, José Carlos Maldonado, Auri Marcelo Rizzo Vincenzi

Inf. Softw. Technol., 2025

2024

FRAFOL: FRAmework FOr Learning mutation testing.

Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, René Just

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

State of the Practice in Software Testing Teaching in Four European Countries.

Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

Alloy Repair Hint Generation Based on Historical Data.

Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva

Proceedings of the Formal Methods - 26th International Symposium, 2024

Exploring students' opinion on software testing courses.

Felix Cammaerts, Porfirio Tramontana, Ana C. R. Paiva, Nuno Flores, Fernando Pastor Ricós, Monique Snoeck

Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024

2023

An Approach to Regression Testing Selection based on Code Changes and Smells.

Allan Mori, Ana C. R. Paiva, Simone R. S. Souza

Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, 2023

Collecting cognitive strategies applied by students during test case design.

Felix Cammaerts, Monique Snoeck, Ana C. R. Paiva

Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

ENACTEST project - European Innovation Alliance for Testing Education.

Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino

Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), 2023

2022

Special issue on information systems quality for digital transformation.

Ricardo Pérez-Castillo, Ana C. R. Paiva, Ana Rosa Cavalli

Softw. Qual. J., 2022

How do Java mutation tools differ?

Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just

Commun. ACM, 2022

ENACTEST - European Innovation Alliance for Testing Education.

Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck

Proceedings of the Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), 2022

Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs.

António M. S. Ferreira, Alberto Rodrigues da Silva, Ana C. R. Paiva

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021

Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language.

Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva

Proceedings of the Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), 2021

2020

Test case generation based on mutations over user execution traces.

Ana C. R. Paiva, André Restivo, Sérgio Almeida

Softw. Qual. J., 2020

Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy.

Luiz Cavamura Júnior, Ricardo Morimoto, Sandra C. P. F. Fabbri, Ana C. R. Paiva, Auri Marcelo Rizzo Vincenzi

J. Softw. Eng. Res. Dev., 2020

Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study.

Nuno Flores, Ana C. R. Paiva, Nuno Cruz

Inf., 2020

Preliminary Experiences in Requirements-Based Security Testing.

João Miranda, Ana C. R. Paiva, Alberto Rodrigues da Silva

Proceedings of the Quality of Information and Communications Technology, 2020

Reverse Engineering of Android Applications: REiMPAcT.

Marco A. Gonçalves, Ana C. R. Paiva

Proceedings of the Quality of Information and Communications Technology, 2020

Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces.

Alberto Oliveira, Ricardo Freitas, Alípio Jorge, Vítor Amorim, Nuno Moniz, Ana C. R. Paiva, Paulo J. Azevedo

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2020, 2020

Test Case Generation From Web Usage Information.

Jorge Esparteiro Garcia, Ana C. R. Paiva, Anca-Maria Bizoi

Proceedings of the CENTERIS 2020 - International Conference on ENTERprise Information Systems / ProjMAN 2020 - International Conference on Project MANagement / HCist 2020, 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

The iMPAcT Tool for Android Testing.

Ines Coimbra Morgado, Ana C. R. Paiva

Proc. ACM Hum. Comput. Interact., 2019

Sharing and Learning Alloy on the Web.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva

CoRR, 2019

Android Testing Crawler.

Jorge Ferreira, Ana C. R. Paiva

Proceedings of the Quality of Information and Communications Technology, 2019

Mutation-Based Web Test Case Generation.

Sérgio Almeida, Ana C. R. Paiva, André Restivo

Proceedings of the Quality of Information and Communications Technology, 2019

Testing When Mobile Apps Go to Background and Come Back to Foreground.

Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Testing Android Incoming Calls.

Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

From Requirements to Automated Acceptance Tests with the RSL Language.

Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2019

From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach.

Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva

Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

2018

Why does the orientation change mess up my Android application? From GUI failures to code faults.

Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, Anna Rita Fasolino

Softw. Test. Verification Reliab., 2018

Mobile GUI testing.

Ines Coimbra Morgado, Ana C. R. Paiva

Softw. Qual. J., 2018

Manage Software Requirements Specification Using Web Analytics Data.

Jorge Esparteiro Garcia, Ana C. R. Paiva

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

Automatic Test Case Generation from Usage Information.

Pedro Silva, Ana C. R. Paiva, André Restivo, Jorge Esparteiro Garcia

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines.

Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva

Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests.

Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Pattern based Web Security Testing.

Paulo J. M. de Araújo, Ana C. R. Paiva

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

A Brief Overview of Existing Tools for Testing the Internet-of-Things.

João Pedro Dias, Flavio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

End-to-end Automatic Business Process Validation.

Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques

Proceedings of the 9th International Conference on Ambient Systems, 2018

2017

Pattern-based GUI testing: Bridging the gap between design and quality assurance.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon

Softw. Test. Verification Reliab., 2017

Multidimensional test coverage analysis: PARADIGM-COV tool.

Ana C. R. Paiva, Liliana Vilela

Clust. Comput., 2017

Pattern-Based Usability Testing.

Fernando Dias, Ana C. R. Paiva

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2016

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.

João Pascoal Faria, Ana C. R. Paiva

Int. J. Softw. Tools Technol. Transf., 2016

A Requirements-to-Implementation Mapping Tool for Requirements Traceability.

Jorge Esparteiro Garcia, Ana C. R. Paiva

J. Softw., 2016

An Automated Approach for Requirements Specification Maintenance.

Jorge Esparteiro Garcia, Ana C. R. Paiva

Proceedings of the New Advances in Information Systems and Technologies, 2016

Maintaining Requirements Using Web Usage Data.

Jorge Esparteiro Garcia, Ana C. R. Paiva

Proceedings of the International Conference on ENTERprise Information Systems/International Conference on Project MANagement/International Conference on Health and Social Care Information Systems and Technologies, 2016

Impact of Execution Modes on Finding Android Failures.

Ines Coimbra Morgado, Ana C. R. Paiva

Proceedings of the 7th International Conference on Ambient Systems, 2016

2015

A Novel Approach using Alloy in Domain-specific Language Engineering.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

Proceedings of the MODELSWARD 2015, 2015

Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns.

Ines Coimbra Morgado, Ana C. R. Paiva

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2015

The iMPAcT Tool: Testing UI Patterns on Mobile Applications.

Ines Coimbra Morgado, Ana C. R. Paiva

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Test patterns for android mobile applications.

Ines Coimbra Morgado, Ana C. R. Paiva

Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

Game Design Techniques for Software Engineering Management Education.

Pedro Letra, Ana Cristina Ramada Paiva, Nuno Flores

Proceedings of the 18th IEEE International Conference on Computational Science and Engineering, 2015

2014

Web Application Model Generation through Reverse Engineering and UI Pattern Inferring.

Clara Sacramento, Ana C. R. Paiva

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Automated Pattern-Based Testing of Mobile Applications.

Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Pattern Based GUI Testing for Mobile Applications.

Pedro Costa, Ana C. R. Paiva, Miguel Nabuco

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

SaaS Usage Information for Requirements Maintenance.

Ana Garcia, Ana C. R. Paiva

Proceedings of the ICEIS 2014, 2014

Inferring User Interface Patterns from Execution Traces of Web Applications.

Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Model-Based Test Case Generation for Web Applications.

Miguel Nabuco, Ana C. R. Paiva

Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

Towards a pattern language for model-based GUI testing.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

Proceedings of the 19th European Conference on Pattern Languages of Programs, 2014

A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

Proceedings of the ENASE 2014, 2014

2013

Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012).

João Pascoal Faria, Ana C. R. Paiva

ACM SIGSOFT Softw. Eng. Notes, 2013

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams.

João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro

Proceedings of the Testing Software and Systems, 2013

A pattern-based approach for GUI modeling and testing.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Pattern Based GUI Testing Modeling Environment.

Tiago Monteiro, Ana C. R. Paiva

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Test Generation from UML Sequence Diagrams.

João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang

Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Specifying UML Protocol State Machines in Alloy.

Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

Specification-Driven Unit Test Generation for Java Generic Classes.

Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

GUI reverse engineering with machine learning.

Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho

Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011

Test Generation from Bounded Algebraic Specifications using Alloy.

Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva

Proceedings of the ICSOFT 2011, 2011

Test case generation from mutated task models.

Ana Barbosa, Ana C. R. Paiva, José Creissac Campos

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

2010

Test Coverage Analysis of UML Activity Diagrams for Interactive Systems.

Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva

Proceedings of the Quality of Information and Communications Technology, 2010

Test Coverage Analysis of UML State Machines.

Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva

Proceedings of the Third International Conference on Software Testing, 2010

2008

Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM.

Rodrigo M. L. M. Moreira, Ana C. R. Paiva

Proceedings of the ICSOFT 2008, 2008

2007

Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees.

José Luís Silva, José Creissac Campos, Ana C. R. Paiva

Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, 2007

Towards the Integration of Visual and Formal Models for GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the Third Workshop on Model Based Testing, 2007

Reverse Engineered Formal Models for GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2005

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.

Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal

Proceedings of the Formal Methods and Software Engineering, 2005

Modeling and Testing Hierarchical GUIs.

Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Automated Specification-based Testing of Interactive Components with AsmL.

Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal

Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004

2003

Specification-Based Testing of User Interfaces.

Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the Interactive Systems. Design, 2003