Seguir
Ana C. R. Paiva
Ana C. R. Paiva
Faculdade de Engenharia da Universidade do Porto
Email confirmado em fe.up.pt - Página inicial
Título
Citado por
Citado por
Ano
A model-to-implementation mapping tool for automated model-based GUI testing
ACR Paiva, JCP Faria, N Tillmann, RAM Vidal
International Conference on Formal Engineering Methods, 450-464, 2005
1082005
A pattern-based approach for GUI modeling and testing
RMLM Moreira, ACR Paiva, A Memon
2013 IEEE 24th International Symposium on Software Reliability Engineering …, 2013
872013
Model-based user interface testing with spec explorer and concurtasktrees
JL Silva, JC Campos, ACR Paiva
Electronic Notes in Theoretical Computer Science 208, 77-93, 2008
772008
A brief overview of existing tools for testing the internet-of-things
JP Dias, F Couto, ACR Paiva, HS Ferreira
2018 IEEE international conference on software testing, verification and …, 2018
722018
Modeling and Testing Hierarchical GUIs
ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
722005
Reverse engineering of GUI models for testing
AMP Grilo, ACR Paiva, JP Faria
5th iberian conference on information systems and technologies, 1-6, 2010
692010
Pattern‐based GUI testing: Bridging the gap between design and quality assurance
RMLM Moreira, AC Paiva, M Nabuco, A Memon
Software Testing, Verification and Reliability 27 (3), e1629, 2017
602017
Automated specification-based testing of graphical user interfaces
ACR Paiva
Department of Electrical and Computer Engineering, 228, 2007
57*2007
PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing
RMLM Moreira, ACR Paiva
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
512014
Pattern Based GUI Testing for Mobile Applications
P Costa, ACR Paiva, M Nabuco
9th International Conference on the Quality of Information and …, 2014
502014
Why does the orientation change mess up my Android application? From GUI failures to code faults
D Amalfitano, V Riccio, ACR Paiva, AR Fasolino
Software Testing, Verification and Reliability 28 (1), e1654, 2018
482018
The iMPAcT tool: Testing UI patterns on mobile applications
IC Morgado, ACR Paiva
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
482015
Towards the integration of visual and formal models for GUI testing
ACR Paiva, JCP Faria, RFAM Vidal
Electronic Notes in Theoretical Computer Science 190 (2), 99-111, 2007
442007
Reverse engineered formal models for GUI testing
ACR Paiva, JCP Faria, PMC Mendes
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
432007
PETTool: a pattern-based GUI testing tool
M Cunha, ACR Paiva, HS Ferreira, R Abreu
2010 2nd International Conference on Software Technology and Engineering 1 …, 2010
422010
iLearnTest–framework for educational games
ACR Paiva, NH Flores, AG Barbosa, TPB Ribeiro
Procedia-Social and Behavioral Sciences 228, 443-448, 2016
412016
Automated pattern-based testing of mobile applications
IC Morgado, ACR Paiva, JP Faria
2014 9th International Conference on the Quality of Information and …, 2014
412014
Dynamic reverse engineering of graphical user interfaces
IC Morgado, ACR Paiva, JP Faria
International Journal On Advances in So ware, 2012
412012
Test case generation from mutated task models
A Barbosa, ACR Paiva, JC Campos
Proceedings of the 3rd acm sigchi symposium on engineering interactive …, 2011
392011
Experiences on teaching alloy with an automated assessment platform
N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ...
Science of Computer Programming 211, 102690, 2021
372021
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20