| 2025 | PROFES | Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. | Mehrdad Saadatmand, Abbas Khan, Beatriz Marn, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes |
| 2024 | EASE | Exploring students' opinion on software testing courses. | Felix Cammaerts, Porfirio Tramontana, Ana C. R. Paiva, Nuno Flores, Fernando Pastor Rics, Monique Snoeck |
| 2024 | FM | Alloy Repair Hint Generation Based on Historical Data. | Ana Barros, Henrique Neto, Alcino Cunha, Nuno Macedo, Ana C. R. Paiva |
| 2024 | ICST | State of the Practice in Software Testing Teaching in Four European Countries. | Porfirio Tramontana, Beatriz Marn, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino |
| 2024 | ISSTA | FRAFOL: FRAmework FOr Learning mutation testing. | Pedro Tavares, Ana C. R. Paiva, Domenico Amalfitano, Ren Just |
| 2023 | CaiSE | ENACTEST project - European Innovation Alliance for Testing Education. | Beatriz Marn, Tanja E. J. Vos, Monique Snoeck, Ana C. R. Paiva, Anna Rita Fasolino |
| 2023 | EASE | Collecting cognitive strategies applied by students during test case design. | Felix Cammaerts, Monique Snoeck, Ana C. R. Paiva |
| 2022 | ENASE | Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs. | Antnio M. S. Ferreira, Alberto Rodrigues da Silva, Ana C. R. Paiva |
| 2022 | RCIS | ENACTEST - European Innovation Alliance for Testing Education. | Beatriz Marn, Tanja E. J. Vos, Ana C. R. Paiva, Anna Rita Fasolino, Monique Snoeck |
| 2020 | IDEAL | Sequence Mining for Automatic Generation of Software Tests from GUI Event Traces. | Alberto Oliveira, Ricardo Freitas, Alpio Jorge, Vtor Amorim, Nuno Moniz, Ana C. R. Paiva, Paulo J. Azevedo |
| 2020 | QUATIC | Reverse Engineering of Android Applications: REiMPAcT. | Marco A. Gonalves, Ana C. R. Paiva |
| 2020 | QUATIC | Preliminary Experiences in Requirements-Based Security Testing. | Joo Miranda, Ana C. R. Paiva, Alberto Rodrigues da Silva |
| 2019 | ENASE | 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 |
| 2019 | ENASE | From Requirements to Automated Acceptance Tests with the RSL Language. | Ana C. R. Paiva, Daniel Maciel, Alberto Rodrigues da Silva |
| 2019 | ICST | Testing Android Incoming Calls. | Ana C. R. Paiva, Marco A. Gonalves, Andre R. Barros |
| 2019 | ICST | Testing When Mobile Apps Go to Background and Come Back to Foreground. | Ana C. R. Paiva, Joao M. E. P. Gouveia, Jean-David Elizabeth, Mrcio E. Delamaro |
| 2019 | QUATIC | Mutation-Based Web Test Case Generation. | Srgio Almeida, Ana C. R. Paiva, Andr Restivo |
| 2019 | QUATIC | Android Testing Crawler. | Jorge Ferreira, Ana C. R. Paiva |
| 2018 | ANT | End-to-end Automatic Business Process Validation. | Ana C. R. Paiva, Nuno H. Flores, Joo Pascoal Faria, Jos M. G. Marques |
| 2018 | ICST | A Brief Overview of Existing Tools for Testing the Internet-of-Things. | Joo Pedro Dias, Flavio Couto, Ana C. R. Paiva, Hugo Sereno Ferreira |
| 2018 | MODELSWARD | Pattern based Web Security Testing. | Paulo J. M. de Arajo, Ana C. R. Paiva |
| 2018 | MODELSWARD | 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 |
| 2018 | MODELSWARD | 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 |
| 2018 | QUATIC | Automatic Test Case Generation from Usage Information. | Pedro Silva, Ana C. R. Paiva, Andr Restivo, Jorge Esparteiro Garcia |
| 2018 | WorldCIST | Manage Software Requirements Specification Using Web Analytics Data. | Jorge Esparteiro Garcia, Ana C. R. Paiva |
| 2017 | ICST | Pattern-Based Usability Testing. | Fernando Dias, Ana C. R. Paiva |
| 2016 | ANT | Impact of Execution Modes on Finding Android Failures. | Ines Coimbra Morgado, Ana C. R. Paiva |
| 2016 | WorldCIST | An Automated Approach for Requirements Specification Maintenance. | Jorge Esparteiro Garcia, Ana C. R. Paiva |
| 2015 | EuroPLop | Test patterns for android mobile applications. | Ines Coimbra Morgado, Ana C. R. Paiva |
| 2015 | MODELSWARD | A Novel Approach using Alloy in Domain-specific Language Engineering. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
| 2014 | ENASE | A GUI Modeling DSL for Pattern-Based GUI Testing - PARADIGM. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
| 2014 | EuroPLop | Towards a pattern language for model-based GUI testing. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
| 2014 | ICCSA | Model-Based Test Case Generation for Web Applications. | Miguel Nabuco, Ana C. R. Paiva |
| 2014 | ICCSA | Inferring User Interface Patterns from Execution Traces of Web Applications. | Miguel Nabuco, Ana C. R. Paiva, Joo Pascoal Faria |
| 2014 | QUATIC | Pattern Based GUI Testing for Mobile Applications. | Pedro Costa, Ana C. R. Paiva, Miguel Nabuco |
| 2014 | QUATIC | Automated Pattern-Based Testing of Mobile Applications. | Ines Coimbra Morgado, Ana C. R. Paiva, Joo Pascoal Faria |
| 2014 | QUATIC | Web Application Model Generation through Reverse Engineering and UI Pattern Inferring. | Clara Sacramento, Ana C. R. Paiva |
| 2013 | ICST | Pattern Based GUI Testing Modeling Environment. | Tiago Monteiro, Ana C. R. Paiva |
| 2013 | ISSRE | A pattern-based approach for GUI modeling and testing. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva, Atif Memon |
| 2012 | ICSE | GUI reverse engineering with machine learning. | Ines Coimbra Morgado, Ana C. R. Paiva, Joo Pascoal Faria, Rui Camacho |
| 2012 | IFM | Specification-Driven Unit Test Generation for Java Generic Classes. | Francisco Rebello de Andrade, Joo Pascoal Faria, Antnia Lopes, Ana C. R. Paiva |
| 2012 | IFM | Specifying UML Protocol State Machines in Alloy. | Ana Gabriela Garis, Ana C. R. Paiva, Alcino Cunha, Daniel Riesco |
| 2012 | QUATIC | Test Generation from UML Sequence Diagrams. | Joo Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang |
| 2011 | EICS | Test case generation from mutated task models. | Ana Barbosa, Ana C. R. Paiva, Jos Creissac Campos |
| 2011 | ICSoft | Test Generation from Bounded Algebraic Specifications using Alloy. | Francisco Rebello de Andrade, Joo Pascoal Faria, Ana C. R. Paiva |
| 2010 | ICST | Test Coverage Analysis of UML State Machines. | Ricardo D. F. Ferreira, Joo C. P. Faria, Ana C. R. Paiva |
| 2010 | QUATIC | Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. | Ricardo D. F. Ferreira, Joo C. P. Faria, Ana C. R. Paiva |
| 2008 | ICSoft | Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM. | Rodrigo M. L. M. Moreira, Ana C. R. Paiva |
| 2007 | FMICS | Reverse Engineered Formal Models for GUI Testing. | Ana C. R. Paiva, Joo C. P. Faria, Pedro M. C. Mendes |
| 2005 | ICFEM | A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. | Ana C. R. Paiva, Joo C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal |
| 2004 | QUATIC | Automated Specification-based Testing of Interactive Components with AsmL. | Ana C. R. Paiva, Joo Pascoal Faria, Raul Moreira Vidal |