Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • 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
Publications

2018

Why does the orientation change mess up my Android application? From GUI failures to code faults

Authors
Amalfitano, D; Riccio, V; Paiva, ACR; Fasolino, AR;

Publication
Softw. Test., Verif. Reliab.

Abstract

2018

Manage software requirements specification using web analytics data

Authors
Garcia, JE; Paiva, ACR;

Publication
Advances in Intelligent Systems and Computing

Abstract
In the context of SaaS (Software as a Service) where software has to be up and running 7 days a week and 24 h a day, keeping the requirements specification up to date can be difficult. Managing requirements in this context have additional challenges that need to be taken into account, for instance, re-prioritize requirements continuously and identify/update new dependencies among them. We claim that extracting and analyzing the usage of the SaaS can help to maintain requirements updated and contribute to improve the overall quality of the services provided. This paper presents REQAnalytics, a recommendation system that collects the information about the usage of a SaaS, analyses it and generates recommendations more readable than reports generated by web analytic tools. The overall approach has been applied on several case studies with promising results. © Springer International Publishing AG, part of Springer Nature 2018.

2018

Pattern based Web Security Testing

Authors
de Araújo, PJM; Paiva, ACR;

Publication
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Abstract

2018

Towards a Test Specification Language for Information Systems: Focus on Data Entity and State Machine Tests

Authors
da Silva, AR; Paiva, ACR; da Silva, VER;

Publication
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Abstract

2018

End-to-end Automatic Business Process Validation

Authors
Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG;

Publication
Procedia Computer Science

Abstract

Supervised
thesis

2017

Injeção de Defeitos em Aplicações Android

Author
Liliana Filipa Lobo Ribeiro

Institution
UP-FEUP

2017

Pattern Based Security Testing

Author
Paulo Jorge Moreira de Araújo

Institution
UP-FEUP

2017

Gestão Documental

Author
Miguel José Silva Gomes

Institution
UP-FEUP

2017

Model Based Testing - From requirements to tests

Author
Valter Emanuel Ribeiro da Silva

Institution
UP-FEUP

2017

Android Testing

Author
Ana Rita Silva Ferreira

Institution
UP-FEUP