Ana C. R. Paiva

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 43

Top Topics

Mobile Applications

Reverse Engineer

Regression Testing

Top Venues

Softw. Qual. J.

Publications

Felix Cammaerts, Porfirio Tramontana, Ana C. R. Paiva, Nuno Flores, Fernando Pastor Ricós, Monique Snoeck
Exploring students' opinion on software testing courses. EASE (2024)
Felix Cammaerts, Monique Snoeck, Ana C. R. Paiva
Collecting cognitive strategies applied by students during test case design. EASE (2023)
Beatriz Marín, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino
ENACTEST project - European Innovation Alliance for Testing Education. CAiSE Research Projects Exhibition (2023)
Allan Mori, Ana C. R. Paiva, Simone R. S. Souza
An Approach to Regression Testing Selection based on Code Changes and Smells. SAST (2023)
Beatriz Marín, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck
ENACTEST - European Innovation Alliance for Testing Education. RCIS Workshops (2022)
António M. S. Ferreira, Alberto Rodrigues da Silva, Ana C. R. Paiva
Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs. ENASE (2022)
Domenico Amalfitano, Ana C. R. Paiva, Alexis Inquel, Luís Pinto, Anna Rita Fasolino, René Just
How do Java mutation tools differ? Commun. ACM 65 (12) (2022)
Ricardo Pérez-Castillo, Ana C. R. Paiva, Ana Rosa Cavalli
Special issue on information systems quality for digital transformation. Softw. Qual. J. 30 (4) (2022)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on teaching alloy with an automated assessment platform. Sci. Comput. Program. 211 (2021)
Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva
Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language. ISD (2021)
Alberto Oliveira, Ricardo Freitas, Alípio Jorge, Vítor Amorim, Nuno Moniz, Ana C. R. Paiva, Paulo J. Azevedo
Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces. IDEAL (2) (2020)
Marco A. Gonçalves, Ana C. R. Paiva
Reverse Engineering of Android Applications: REiMPAcT. QUATIC (2020)
Nuno Flores, Ana C. R. Paiva, Nuno Cruz
Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study. Inf. 11 (3) (2020)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva
Experiences on Teaching Alloy with an Automated Assessment Platform. ABZ (2020)
Jorge Esparteiro Garcia, Ana C. R. Paiva, Anca-Maria Bizoi
Test Case Generation From Web Usage Information. CENTERIS/ProjMAN/HCist (2020)
João Miranda, Ana C. R. Paiva, Alberto Rodrigues da Silva
Preliminary Experiences in Requirements-Based Security Testing. QUATIC (2020)
Ana C. R. Paiva, André Restivo, Sérgio Almeida
Test case generation based on mutations over user execution traces. Softw. Qual. J. 28 (3) (2020)
Luiz Cavamura Júnior, Ricardo Morimoto, Sandra Fabbri, Ana C. R. Paiva, Auri Marcelo Rizzo Vincenzi
Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy. J. Softw. Eng. Res. Dev. 8 (2020)
Ines Coimbra Morgado, Ana C. R. Paiva
The iMPAcT Tool for Android Testing. Proc. ACM Hum. Comput. Interact. 3 (EICS) (2019)
Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva
From Requirements to Automated Acceptance Tests with the RSL Language. ENASE (Selected Papers) (2019)
Ana C. R. Paiva, Marco A. Gonçalves, Andre R. Barros
Testing Android Incoming Calls. ICST (2019)
Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva
Sharing and Learning Alloy on the Web. CoRR (2019)
Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Márcio E. Delamaro
Testing When Mobile Apps Go to Background and Come Back to Foreground. ICST Workshops (2019)
Sérgio Almeida, Ana C. R. Paiva, André Restivo
Mutation-Based Web Test Case Generation. QUATIC (2019)
Daniel Maciel, Ana C. R. Paiva, Alberto Rodrigues da Silva
From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach. ENASE (2019)
Jorge Ferreira, Ana C. R. Paiva
Android Testing Crawler. QUATIC (2019)
João Pedro Dias, Flavio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira
A Brief Overview of Existing Tools for Testing the Internet-of-Things. ICST Workshops (2018)
Ines Coimbra Morgado, Ana C. R. Paiva
Mobile GUI testing. Softw. Qual. J. 26 (4) (2018)
Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, Anna Rita Fasolino
Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test. Verification Reliab. 28 (1) (2018)
Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva
A Test Specification Language for Information Systems Based on Data Entities, Use Cases and State Machines. MODELSWARD (Revised Selected Papers) (2018)
Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques
End-to-end Automatic Business Process Validation. ANT/SEIT (2018)
Alberto Rodrigues da Silva, Ana C. R. Paiva, Valter Emanuel R. da Silva
Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests. MODELSWARD (2018)
Paulo J. M. de Araújo, Ana C. R. Paiva
Pattern based Web Security Testing. MODELSWARD (2018)
Jorge Esparteiro Garcia, Ana C. R. Paiva
Manage Software Requirements Specification Using Web Analytics Data. WorldCIST (2) (2018)
Pedro Silva, Ana C. R. Paiva, André Restivo, Jorge Esparteiro Garcia
Automatic Test Case Generation from Usage Information. QUATIC (2018)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Miguel Nabuco, Atif Memon
Pattern-based GUI testing: Bridging the gap between design and quality assurance. Softw. Test. Verification Reliab. 27 (3) (2017)
Fernando Dias, Ana C. R. Paiva
Pattern-Based Usability Testing. ICST Workshops (2017)
Ana C. R. Paiva, Liliana Vilela
Multidimensional test coverage analysis: PARADIGM-COV tool. Clust. Comput. 20 (1) (2017)
João Pascoal Faria, Ana C. R. Paiva
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Jorge Esparteiro Garcia, Ana C. R. Paiva
Maintaining Requirements Using Web Usage Data. CENTERIS/ProjMAN/HCist (2016)
Jorge Esparteiro Garcia, Ana C. R. Paiva
A Requirements-to-Implementation Mapping Tool for Requirements Traceability. J. Softw. 11 (2) (2016)
Jorge Esparteiro Garcia, Ana C. R. Paiva
An Automated Approach for Requirements Specification Maintenance. WorldCIST (1) (2016)
Ines Coimbra Morgado, Ana C. R. Paiva
Impact of Execution Modes on Finding Android Failures. ANT/SEIT (2016)
Ines Coimbra Morgado, Ana C. R. Paiva
Test patterns for android mobile applications. EuroPLoP (2015)
Ines Coimbra Morgado, Ana C. R. Paiva
Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns. ASE Workshops (2015)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva
A Novel Approach using Alloy in Domain-specific Language Engineering. MODELSWARD (2015)
Ines Coimbra Morgado, Ana C. R. Paiva
The iMPAcT Tool: Testing UI Patterns on Mobile Applications. ASE (2015)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva
A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM. ENASE (2014)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva
Towards a pattern language for model-based GUI testing. EuroPLoP (2014)
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria
Automated Pattern-Based Testing of Mobile Applications. QUATIC (2014)
Pedro Costa, Ana C. R. Paiva, Miguel Nabuco
Pattern Based GUI Testing for Mobile Applications. QUATIC (2014)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. ASE (2014)
Clara Sacramento, Ana C. R. Paiva
Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. QUATIC (2014)
Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria
Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) (2014)
Ana Garcia, Ana C. R. Paiva
SaaS Usage Information for Requirements Maintenance. ICEIS (2) (2014)
Miguel Nabuco, Ana C. R. Paiva
Model-Based Test Case Generation for Web Applications. ICCSA (6) (2014)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon
A pattern-based approach for GUI modeling and testing. ISSRE (2013)
João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro
Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS (2013)
Tiago Monteiro, Ana C. R. Paiva
Pattern Based GUI Testing Modeling Environment. ICST Workshops (2013)
João Pascoal Faria, Ana C. R. Paiva
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes 38 (1) (2013)
Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco
Specifying UML Protocol State Machines in Alloy. IFM (2012)
João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang
Test Generation from UML Sequence Diagrams. QUATIC (2012)
Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho
GUI reverse engineering with machine learning. RAISE@ICSE (2012)
Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva
Specification-Driven Unit Test Generation for Java Generic Classes. IFM (2012)
Ana Barbosa, Ana C. R. Paiva, José Creissac Campos
Test case generation from mutated task models. EICS (2011)
Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) (2011)
Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. QUATIC (2010)
Ricardo D. F. Ferreira, João C. P. Faria, Ana C. R. Paiva
Test Coverage Analysis of UML State Machines. ICST Workshops (2010)
José Luís Silva, José Creissac Campos, Ana C. R. Paiva
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. Electron. Notes Theor. Comput. Sci. 208 (2008)
Rodrigo M. L. M. Moreira, Ana C. R. Paiva
Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. ICSOFT (SE/MUSE/GSDCA) (2008)
Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
Towards the Integration of Visual and Formal Models for GUI Testing. Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes
Reverse Engineered Formal Models for GUI Testing. FMICS (2007)
Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
Modeling and Testing Hierarchical GUIs. Abstract State Machines (2005)
Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM (2005)
Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal
Automated Specification-based Testing of Interactive Components with AsmL. QUATIC (2004)
Ana C. R. Paiva, João C. P. Faria, Raul F. A. M. Vidal
Specification-Based Testing of User Interfaces. DSV-IS (2003)