Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Ana Cristina Paiva
Investigador Coordenador
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
METFORD - Mutation tEsTing Framework fOR anDroid
Vincenzi, AMR;Kuroishi, PH;Bispo, J;da Veiga, ARC;da Mata, DRC;Azevedo, FB;Paiva, ACR;
2025
JOURNAL OF SYSTEMS AND SOFTWARE
Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
Tramontana, P;Marín, B;Paiva, ACR;Mendes, A;Vos, TEJ;Amalfitano, D;Cammaerts, F;Snoeck, M;Fasolino, AR;
2024
State of the Practice in Software Testing Teaching in Four European Countries
Tramontana, P;Marín, B;Paiva, ACR;Mendes, A;Vos, TEJ;Amalfitano, D;Cammaerts, F;Snoeck, M;Fasolino, AR;
2024
2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
Testing infrastructures to support mobile application testing: A systematic mapping study
Kuroishi, PH;Paiva, ACR;Maldonado, JC;Vincenzi, AMR;
2025
INFORMATION AND SOFTWARE TECHNOLOGY
Teses Orientadas
Model Based Testing - From requirements to tests
Daniel Ademar Magalhães Maciel
M - 2019
UP-FEUP
Exploração Dinâmica em Android
Jorge Miguel Rodrigues Ferreira
M - 2019
UP-FEUP
Análise de Impacto das Alterações a Processos Descritos em BPMN
José Pedro Teles da Silva Pereira
M - 2019
UP-FEUP
Mutation-based Web Test Case Generation
Sérgio Miguel Almeida Ferreira
M - 2019
UP-FEUP
