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

2021

Test Case Generation From Web Usage Information

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

Publication
Procedia Computer Science

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

2021

Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Authors
Paiva, ACR; Cavalli, AR; Martins, PV; Castillo, RP;

Publication
QUATIC

Abstract

2021

Preface

Authors
Paiva, ACR; Cavalli, AR; Martins, PV; Pérez Castillo, R;

Publication
Communications in Computer and Information Science

Abstract

Supervised
thesis

2021

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

Author
Ana Catarina Leite Gomes

Institution
UP-FEUP

2021

User centered classification of iOS vision accessibility problems

Author
Diogo Pinto Soares de Melo

Institution
UP-FEUP

2021

Automatização de testes para plataformas Oracle - Xstore

Author
Hugo Filipe Marques Pereira

Institution
UP-FEUP

2021

Test Case Mutations to Improve Tests Quality

Author
Carolina Vasconcelos Castro Azevedo

Institution
UP-FEUP

2021

Mock Testing Framework for a Fire Detection System

Author
Guilherme de Castro Oliveira

Institution
UP-FEUP