Specification-Based Testing of User Interfaces. - Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. Vidal (DSV-IS, 2003)

Automated Specification-based Testing of Interactive Components with AsmL. - Ana C. R. Paiva; João Pascoal Faria; Raul Moreira Vidal (QUATIC, 2004)

Modeling and Testing Hierarchical GUIs. - Ana C. R. Paiva; Nikolai Tillmann; João C. P. Faria; Raul F. A. M. Vidal (Abstract State Machines, 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 (ICFEM, 2005)

Reverse Engineered Formal Models for GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Pedro M. C. Mendes (FMICS, 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 (MBT, 2007)

Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees. - José Luís Silva 001; José Creissac Campos; Ana C. R. Paiva (FMIS@BCS HCI, 2007)

Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva (ICSOFT (SE/MUSE/GSDCA), 2008)

Test Coverage Analysis of UML State Machines. - Ricardo D. F. Ferreira; João C. P. Faria; Ana C. R. Paiva (ICST Workshops, 2010)

Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. - Ricardo D. F. Ferreira; João C. P. Faria; Ana C. R. Paiva (QUATIC, 2010)

Test case generation from mutated task models. - Ana Barbosa; Ana C. R. Paiva; José Creissac Campos (EICS, 2011)

Test Generation from Bounded Algebraic Specifications using Alloy. - Francisco Rebello de Andrade; João Pascoal Faria; Ana C. R. Paiva (ICSOFT (2), 2011)

GUI reverse engineering with machine learning. - Ines Coimbra Morgado; Ana C. R. Paiva; João Pascoal Faria; Rui Camacho (RAISE@ICSE, 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 (IFM, 2012)

Specifying UML Protocol State Machines in Alloy. - Ana Gabriela Garis; Ana C. R. Paiva; Alcino Cunha; Daniel Riesco (IFM, 2012)

Test Generation from UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Zhuanli Yang (QUATIC, 2012)

Pattern Based GUI Testing Modeling Environment. - Tiago Monteiro; Ana C. R. Paiva (ICST Workshops, 2013)

A pattern-based approach for GUI modeling and testing. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva; Atif Memon (ISSRE, 2013)

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Mário Ventura de Castro (ICTSS, 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)

A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva (ENASE, 2014)

Towards a pattern language for model-based GUI testing. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva (EuroPLoP, 2014)

Model-Based Test Case Generation for Web Applications. - Miguel Nabuco; Ana C. R. Paiva (ICCSA (6), 2014)

Inferring User Interface Patterns from Execution Traces of Web Applications. - Miguel Nabuco; Ana C. R. Paiva; João Pascoal Faria (ICCSA (5), 2014)

SaaS Usage Information for Requirements Maintenance. - Ana Garcia; Ana C. R. Paiva (ICEIS (2), 2014)

PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva (ASE, 2014)

Pattern Based GUI Testing for Mobile Applications. - Pedro Costa 005; Ana C. R. Paiva; Miguel Nabuco (QUATIC, 2014)

Automated Pattern-Based Testing of Mobile Applications. - Ines Coimbra Morgado; Ana C. R. Paiva; João Pascoal Faria (QUATIC, 2014)

Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. - Clara Sacramento; Ana C. R. Paiva (QUATIC, 2014)

Game Design Techniques for Software Engineering Management Education. - Pedro Letra; Ana Cristina Ramada Paiva; Nuno Flores (CSE, 2015)

Test patterns for android mobile applications. - Ines Coimbra Morgado; Ana C. R. Paiva (EuroPLoP, 2015)

The iMPAcT Tool: Testing UI Patterns on Mobile Applications. - Ines Coimbra Morgado; Ana C. R. Paiva (ASE, 2015)

Testing Approach for Mobile Applications through Reverse Engineering of UI Patterns. - Ines Coimbra Morgado; Ana C. R. Paiva (ASE Workshops, 2015)

A Novel Approach using Alloy in Domain-specific Language Engineering. - Rodrigo M. L. M. Moreira; Ana C. R. Paiva (MODELSWARD, 2015)

Impact of Execution Modes on Finding Android Failures. - Ines Coimbra Morgado; Ana C. R. Paiva (ANT/SEIT, 2016)

Maintaining Requirements Using Web Usage Data. - Jorge Esparteiro Garcia; Ana C. R. Paiva (CENTERIS/ProjMAN/HCist, 2016)

An Automated Approach for Requirements Specification Maintenance. - Jorge Esparteiro Garcia; Ana C. R. Paiva (WorldCIST (1), 2016)

A Requirements-to-Implementation Mapping Tool for Requirements Traceability. - Jorge Esparteiro Garcia; Ana C. R. Paiva (J. Softw., 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)

Pattern-Based Usability Testing. - Fernando Dias; Ana C. R. Paiva (ICST Workshops, 2017)

Multidimensional test coverage analysis: PARADIGM-COV tool. - Ana C. R. Paiva; Liliana Vilela (Clust. Comput., 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)

End-to-end Automatic Business Process Validation. - Ana C. R. Paiva; Nuno H. Flores; João Pascoal Faria; José M. G. Marques (ANT/SEIT, 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 (ICST Workshops, 2018)

Pattern based Web Security Testing. - Paulo J. M. de Araújo; Ana C. R. Paiva (MODELSWARD, 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 (MODELSWARD, 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 (MODELSWARD (Revised Selected Papers), 2018)

Automatic Test Case Generation from Usage Information. - Pedro Silva; Ana C. R. Paiva; André Restivo; Jorge Esparteiro Garcia (QUATIC, 2018)

Manage Software Requirements Specification Using Web Analytics Data. - Jorge Esparteiro Garcia; Ana C. R. Paiva (WorldCIST (2), 2018)

Mobile GUI testing. - Ines Coimbra Morgado; Ana C. R. Paiva (Softw. Qual. J., 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)

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 (ENASE, 2019)

From Requirements to Automated Acceptance Tests with the RSL Language. - Ana C. R. Paiva; Daniel Maciel; Alberto Rodrigues da Silva (ENASE (Selected Papers), 2019)

Testing Android Incoming Calls. - Ana C. R. Paiva; Marco A. Gonçalves; Andre R. Barros (ICST, 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 (ICST Workshops, 2019)

Mutation-Based Web Test Case Generation. - Sérgio Almeida 003; Ana C. R. Paiva; André Restivo (QUATIC, 2019)

Android Testing Crawler. - Jorge Ferreira; Ana C. R. Paiva (QUATIC, 2019)

Sharing and Learning Alloy on the Web. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel S. Ramalho; Daniel Castro Silva (CoRR, 2019)

The iMPAcT Tool for Android Testing. - Ines Coimbra Morgado; Ana C. R. Paiva (Proc. ACM Hum. Comput. Interact., 2019)

Experiences on Teaching Alloy with an Automated Assessment Platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 001; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (ABZ, 2020)

Test Case Generation From Web Usage Information. - Jorge Esparteiro Garcia; Ana C. R. Paiva; Anca-Maria Bizoi (CENTERIS/ProjMAN/HCist, 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 (IDEAL (2), 2020)

Reverse Engineering of Android Applications: REiMPAcT. - Marco A. Gonçalves; Ana C. R. Paiva (QUATIC, 2020)

Preliminary Experiences in Requirements-Based Security Testing. - João Miranda; Ana C. R. Paiva; Alberto Rodrigues da Silva (QUATIC, 2020)

Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study. - Nuno Flores; Ana C. R. Paiva; Nuno Cruz (Inf., 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)

Test case generation based on mutations over user execution traces. - Ana C. R. Paiva; André Restivo; Sérgio Almeida 003 (Softw. Qual. J., 2020)

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 (ISD, 2021)

Experiences on teaching alloy with an automated assessment platform. - Nuno Macedo 001; Alcino Cunha; José Pereira 004; Renato Carvalho; Ricardo Silva; Ana C. R. Paiva; Miguel Sozinho Ramalho; Daniel Castro Silva (Sci. Comput. Program., 2021)

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 (ENASE, 2022)

ENACTEST - European Innovation Alliance for Testing Education. - Beatriz Marín; Tanja E. J. Vos; Ana C. R. Paiva; Anna Rita Fasolino; Monique Snoeck (RCIS Workshops, 2022)

How do Java mutation tools differ? - Domenico Amalfitano; Ana C. R. Paiva; Alexis Inquel; Luís Pinto 005; Anna Rita Fasolino; René Just (Commun. ACM, 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)

ENACTEST project - European Innovation Alliance for Testing Education. - Beatriz Marín; Tanja E. J. Vos; Monique Snoeck; Ana C. R. Paiva; Anna Rita Fasolino (CAiSE Research Projects Exhibition, 2023)

Collecting cognitive strategies applied by students during test case design. - Felix Cammaerts; Monique Snoeck; Ana C. R. Paiva (EASE, 2023)

An Approach to Regression Testing Selection based on Code Changes and Smells. - Allan Mori; Ana C. R. Paiva; Simone R. S. Souza (SAST, 2023)

Exploring students' opinion on software testing courses. - Felix Cammaerts; Porfirio Tramontana; Ana C. R. Paiva; Nuno Flores; Fernando Pastor Ricós; Monique Snoeck (EASE, 2024)

Alloy Repair Hint Generation Based on Historical Data. - Ana Barros; Henrique Neto; Alcino Cunha; Nuno Macedo 001; Ana C. R. Paiva (FM (2), 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 (ICST, 2024)

FRAFOL: FRAmework FOr Learning mutation testing. - Pedro Tavares; Ana C. R. Paiva; Domenico Amalfitano; René Just (ISSTA, 2024)

Static and Dynamic Comparison of Mutation Testing Tools for Python. - Lucca Renato Guerino; Pedro Henrique Kuroishi; Ana Cristina Ramada Paiva; Auri Marcelo Rizzo Vincenzi (SBQS, 2024)

Course mapping dataset for the paper "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 (Zenodo, 2024)

Course mapping dataset for the paper "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 (Zenodo, 2024)

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education. - Hannah Potter; Ana C. R. Paiva; Domenico Amalfitano; Anna Rita Fasolino; Porfirio Tramontana; René Just (SIGSOFT FSE Companion, 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)

METFORD - Mutation tEsTing Framework fOR anDroid. - Auri M. R. Vincenzi; Pedro Henrique Kuroishi; João C. M. Bispo; Ana R. C. da Veiga; David R. C. da Mata; Francisco B. Azevedo; Ana C. R. Paiva (J. Syst. Softw., 2025)

Survey about Teachers' Perspective on Software Testing Education. - Porfirio Tramontana; Beatriz Marín; Ana C. R. Paiva; Alexandra Mendes; Tanja E. J. Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino (Zenodo, 2025)

Code change and smell techniques for regression test selection. - Allan Mori; Ana C. R. Paiva; Simone R. S. Souza (Softw. Qual. J., 2025)

GAMFLEW: serious game to teach white-box testing. - Mateus Silva; Ana C. R. Paiva; Alexandra Mendes (Softw. Qual. J., 2025)