Ana Paiva

Ana Paiva é Professora Auxiliar no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, onde trabalha desde 1999. É investigadora no INESC TEC na área de Engenharia de Software e membro do Grupo de Engenharia de Software que reúne investigadores e pós-graduados com interesses comuns em Engenharia de Software. É responsável por unidades curriculares como Teste de Software, Métodos Formais e Engenharia de Software, entre outras. Tem um doutoramento em Engenharia Electrotécnica e Computadores da FEUP, com uma tese intitulada "Automated Specification Based Testing of Graphical User Interfaces". A sua especialidade é a implementação e automação do processo de teste baseado em modelos. Desenvolveu trabalho de investigação em colaboração com o grupo FSE (Foundation of Software Engineering) da Microsoft Research, onde teve a oportunidade de estender a ferramenta de testes da Microsoft baseada em modelo, Spec Explorer, para o teste de GUIs. É a investigadora responsável de um projeto financiado pela FCT com o tema Pattern-Based Testing GUI (PBGT). Pertence à Assembleia Geral da PSTQB (Associação Portuguesa de Testes de Software), é membro dos grupos internacionais de trabalho do ISTQB: TBokGlossaryMBT Examination, membro do Conselho do Departamento de Engenharia Informática e membro do Conselho de Representantes da FEUP.

Webpage: 
http://paginas.fe.up.pt/~apaiva/
Email: 
apaiva@fe.up.pt
Person Type: 
Description in English: 

Ana Paiva is Assistant Professor at the Computer Engineering Department of the Faculty of Engineering, at the University of Porto, where she works since 1999. She is a researcher at INESC-TEC, working on Software Engineering, and is a member of the Software Engineering Group, which gathers researchers and PhDs commonly interested on Software Engineering. She lectures some courses, eg. Software Test, Formal Methods and Software Engineering, among others. She holds a PhD on Electrical and Computers Engineering by the Faculty of Engineering, where she wrote a thesis entitled "Automated Specification Based Testing of Graphical User Interfaces". Her speciality is implementation and automation of test process based on models. She has collaborated as researcher with Microsoft Research's FSE Group (Foundation of Software Engineering), where she had the opportunity to extend Microsoft's test tool based on model, Spec Explorer, to GUI's test. Ana Paiva is also main researcher on a FCT-funded project called Pattern-Based Testing GUI (PBGT). She is a member of the General Assembly of PSTQB (Portuguese Software Test Association), of the ISTQB's international workgroups TBok, Glossary and MBT Examination, of the Computer Engineering Department and of the Faculty of Engineering's Representing Council.