Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Ana Cristina Paiva
Investigador Sénior
A Ana Paiva (publica como Ana C. R. Paiva) é Professora Auxiliar no Departamento de Engenharia Informática da Faculdade de Engenharia da Universidade do Porto, onde trabalha desde 1999. Ela é 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 à Assemblia Geral da PSTQB (Associação Portuguesa de Testes de Software), é membro dos grupos internacionais de trabalho do ISTQB: TBok, Glossary, MBT Examination, membro do Conselho do Departamento de Engenharia Informática, e membro da Comissão Executiva do Departamento de Engenharia Informática.
Publicações
Exploring students' opinion on software testing courses
Cammaerts, F;Tramontana, P;Paiva, ACR;Flores, N;Ricós, FP;Snoeck, M;
2024
PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024
An Approach to Regression Testing Selection based on Code Changes and Smells
Mori, A;Paiva, ACR;Souza, SRS;
2023
PROCEEDINGS OF THE 8TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFT-WARE TESTING, SAST 2023
Visual abstract notation for GUI modelling and testing - VAN4GUIM
Moreira, RMLM;Paiva, ACR;
2008
ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE
Specifying UML Protocol State Machines in Alloy
Garis, AG;Paiva, ACR;Cunha, A;Riesco, D;
2012
Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Teses Orientadas
PyTeach: Interactive Python Tools for Image and Video Processing Education
Pedro Alexandre Carvalho Pais
M - 2024
UP-FEUP
