Go to:
Esta página em português Ajuda Autenticar-se
Formação regular da Biblioteca |fevereiro a maio
Today is sunday
You are here: Start > Ana Cristina Ramada Paiva

Campus Map
Edifício A (Administração) Edifício B (Aulas) - Bloco I Edifício B (Aulas) - Bloco II Edifício B (Aulas) - Bloco III Edifício B (Aulas) - Bloco IV Edifício C (Biblioteca) Edifício D (CICA) Edifício E (Química) Edifício F (Minas e Metalurgia) Edifício F (Minas e Metalurgia) Edifício G (Civil) Edifício H (Civil) Edifício I (Electrotecnia) Edifício J (Electrotecnia) Edifício K (Pavilhão FCNAUP) Edifício L (Mecânica) Edifício M (Mecânica) Edifício N (Garagem) Edifício O (Cafetaria) Edifício P (Cantina) Edifício Q (Central de Gases) Edifício R (Laboratório de Engenharia do Ambiente) Edifício S (INESC) Edifício T (Torre do INEGI) Edifício U (Nave do INEGI) Edifício X (Associação de Estudantes)

Ana Cristina Ramada Paiva

Fotografia de Ana Cristina Ramada Paiva
Name: Ana Cristina Ramada Paiva Link to the personal page of Ana Cristina Ramada Paiva
Acronym: ACP
Status: Active
Voip: 3318
Telephone Extension: 22 041 3318
Rooms: I128


Category: Professor Auxiliar
Career: Pessoal Docente de Universidades
Professional Group: Docente
Department: Department of Informatics Engineering


Position Beginning date
Member of the Department Council Departamento de Engenharia Informática 2018-11-21
Master Master Course Director Mestrado em Engenharia de Software 2016-03-30
Chairman of the Scientific Committee Mestrado em Engenharia de Software 2016-03-30
Chairman of the Program Follow-up Committee Mestrado em Engenharia de Software 2016-03-30
Docente Responsável de Curso de Educação contínua Testes de Software 2013-03-21

Personal Presentation

Ana Paiva (publishes as Ana C. R. Paiva). Ana Paiva is Assistant Professor with Habilitation 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 was member of the Executive Committee of the Department of Informatics Engineering.


Category: Membro Integrado
Research and Development Centre: INESC TEC - INESC Tecnologia e Ciência
Interface Institute: Instituto de Engenharia de Sistemas e Computadores, Tecnologia e Ciência
Recommend this page Top
Copyright 1996-2019 © Faculdade de Engenharia da Universidade do Porto  I Terms and Conditions  I Accessibility  I Index A-Z  I Guest Book
Page generated on: 2019-05-26 at 05:05:25