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
001
Publications

2020

Teaching software engineering topics through pedagogical game design patterns: An empirical study

Authors
Flores, N; Paiva, ACR; Cruz, N;

Publication
Information (Switzerland)

Abstract
Teaching software engineering in its many different forms using traditional teaching methods is difficult. Serious games can help overcome these challenges because they allow real situations to be simulated. However, the development of serious games is not easy and, although there are good practices for relating game design patterns to teaching techniques, there is no methodology to support its use in a specific context such as software engineering. This article presents a case study to validate a methodology that links the Learning and Teaching Functions (LTF) to the Game Design Patterns (PIB) in the context of Software Engineering Education. A serious game was developed from scratch using this methodology to teach software estimation (a specific topic of software engineering). An experiment was carried out to validate the effectiveness of the game by comparing the results of two different groups of students. The results indicate that the methodology can help to develop effective educational games on specific learning topics. © 2020 by the authors.

2020

Test case generation based on mutations over user execution traces

Authors
Paiva, ACR; Restivo, A; Almeida, S;

Publication
Software Quality Journal

Abstract

2020

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, DC;

Publication
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Abstract

2020

Preliminary Experiences in Requirements-Based Security Testing

Authors
Miranda, J; Paiva, ACR; da Silva, AR;

Publication
Quality of Information and Communications Technology - 13th International Conference, QUATIC 2020, Faro, Portugal, September 9-11, 2020, Proceedings

Abstract

2020

Software Operational Profile vs. Test Profile: Towards a Better Software Testing Strategy

Authors
Júnior, LC; Morimoto, R; Fabbri, S; Paiva, ACR; Rizzo Vincenzi, AM;

Publication
J. Softw. Eng. Res. Dev.

Abstract

Supervised
thesis

2019

Model Based Testing - From requirements to tests

Author
Daniel Ademar Magalhães Maciel

Institution
UP-FEUP

2019

Exploração Dinâmica em Android

Author
Jorge Miguel Rodrigues Ferreira

Institution
UP-FEUP

2019

Análise de Impacto das Alterações a Processos Descritos em BPMN

Author
José Pedro Teles da Silva Pereira

Institution
UP-FEUP

2019

Mutation-based Web Test Case Generation

Author
Sérgio Miguel Almeida Ferreira

Institution
UP-FEUP

2019

Android Crawler

Author
Marco António Fernandes Gonçalves

Institution
UP-FEUP