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

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

2021

Experiences on teaching alloy with an automated assessment platform

Authors
Macedo, N; Cunha, A; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR; Ramalho, MS; Silva, D;

Publication
SCIENCE OF COMPUTER PROGRAMMING

Abstract

2021

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

Authors
Gomes, AC; Paiva, ACR; da Silva, AR;

Publication
Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.

Abstract

Supervised
thesis

2021

Mock Testing Framework for a Fire Detection System

Author
Guilherme de Castro Oliveira

Institution
UP-FEUP

2021

Symbolic and Compositional Analysis of Textual Data

Author
Tânia Manuela Costa da Silva

Institution
UP-FEP

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