Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
About

About

Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Assistant Professor at the Informatics Engineering Department of the Faculty of Engineering of University of Porto (FEUP) where she works since 1999. She is a researcher at INESC TEC in the Software Engineering area and member of the Software Engineering research group which gathers researchers and post graduate students with common interests in software engineering. She teaches subjects like Software Testing, Formal Methods and Software Engineering, among others. She has a PhD in Electrical and Computer Engineering from FEUP with a thesis titled"Automated Specification Based Testing of Graphical User Interfaces". Her expertise is on the implementation and automation of the model based testing process. She has been developing research work in collaboration with Foundation of Software Engineering research group within Microsoft Research where she had the opportunity to extend Microsoft's model-based testing tool, Spec Explorer, for GUI testing. She is PI of a National Science Foundation funded project on Pattern-Based GUI Testing (PBGT). She is a member of the PSTQB (Portuguese Software Testing Qualification Board) board general assembly, member of TBok, Glossary, and the MBT Examination Working Groups of the ISTQB (International Software Testing Qualification Board), member of the Council of the Department of Informatics Engineering, and member of the Executive Committee of the Department of Informatics Engineering.

Interest
Topics
Details

Details

  • Name

    Ana Cristina Paiva
  • Cluster

    Computer Science
  • Role

    Senior Researcher
  • Since

    01st February 2014
002
Publications

2022

ENACTEST - European Innovation Alliance for Testing Education

Authors
Marín, B; Vos, TEJ; Paiva, ACR; Fasolino, AR; Snoeck, M;

Publication
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), Barcelona, Spain, May 17-20, 2022.

Abstract

2022

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

Authors
Ferreira, AMS; da Silva, AR; Paiva, ACR;

Publication
ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING

Abstract

2022

Special issue on information systems quality for digital transformation

Authors
Perez Castillo, R; Paiva, ACR; Cavalli, AR;

Publication
SOFTWARE QUALITY JOURNAL

Abstract

2022

How Do Java Mutation Tools Differ?

Authors
Amalfitano, D; Paiva, ACR; Inquel, A; Pinto, L; Fasolino, AR; Just, R;

Publication
COMMUNICATIONS OF THE ACM

Abstract
OVER A DECADE ago, Jeff Offutt noted, The field of mutation analysis has been growing, both in the number of published papers and the number of active researchers.(33) This trend has since continued, as confirmed by a survey of recent literature.(36) Mutation analysis is the use of well-defined rules defined on syntactic descriptions to make systematic changes to the syntax or to objects developed from the syntax.(33) It has been successfully used in research for assessing test efficacy and as a building block for testing and debugging approaches. It systematically generates syntactic variations, called mutants, of an original program based on a set of mutation operators, which are well-defined program transformation rules. The most common use case of mutation analysis is to assess test efficacy. In this use case, mutants represent faulty versions of the original program, and the ratio of detected mutants quantifies a test suite's efficacy. Empirical evidence supports the use of systematically

2021

Test Case Generation From Web Usage Information

Authors
Garcia, JE; Paiva, ACR; Bizoi, AM;

Publication
INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020)

Abstract

Supervised
thesis

2021

Desenho de um Sistema de Apoio à Decisão para gestão intermodal de transportes públicos

Author
Diogo Ivo Vieira dos Santos Torres Múrias

Institution
UP-FEUP

2021

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

Author
Ana Catarina Leite Gomes

Institution
UP-FEUP

2021

SMART: Static and Dynamic Analysis to Reverse Engineer Android Applications

Author
Francisco Miguel Gouveia Serrão

Institution
UP-FEUP

2021

Customer Lifetime Value – uma aplicação à Gestão das Vendas no Retalho Automóvel

Author
Ricardo André Fernandes da Silva

Institution
UP-FEP

2021

HACSpec Extractor

Author
Raul Miguel Gomes Mendiratta

Institution
UP-FCUP