| 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 | 108 | 2005 |
| 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 | 87 | 2013 |
| 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 | 77 | 2008 |
| 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 | 72 | 2018 |
| Modeling and Testing Hierarchical GUIs ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal Proceedings of the 12th International Workshop on Abstract State Machines, 2005 | 72 | 2005 |
| Reverse engineering of GUI models for testing AMP Grilo, ACR Paiva, JP Faria 5th iberian conference on information systems and technologies, 1-6, 2010 | 69 | 2010 |
| 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 | 60 | 2017 |
| 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 | 51 | 2014 |
| Pattern Based GUI Testing for Mobile Applications P Costa, ACR Paiva, M Nabuco 9th International Conference on the Quality of Information and …, 2014 | 50 | 2014 |
| The iMPAcT tool: Testing UI patterns on mobile applications IC Morgado, ACR Paiva 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 48 | 2015 |
| 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 | 47 | 2018 |
| 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 | 44 | 2007 |
| Reverse engineered formal models for GUI testing ACR Paiva, JCP Faria, PMC Mendes International Workshop on Formal Methods for Industrial Critical Systems …, 2007 | 43 | 2007 |
| 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 | 42 | 2010 |
| iLearnTest–framework for educational games ACR Paiva, NH Flores, AG Barbosa, TPB Ribeiro Procedia-Social and Behavioral Sciences 228, 443-448, 2016 | 41 | 2016 |
| Automated pattern-based testing of mobile applications IC Morgado, ACR Paiva, JP Faria 2014 9th International Conference on the Quality of Information and …, 2014 | 41 | 2014 |
| Dynamic reverse engineering of graphical user interfaces IC Morgado, ACR Paiva, JP Faria International Journal On Advances in So ware, 2012 | 41 | 2012 |
| Test case generation from mutated task models A Barbosa, ACR Paiva, JC Campos Proceedings of the 3rd acm sigchi symposium on engineering interactive …, 2011 | 39 | 2011 |
| 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 | 37 | 2021 |
João Pascoal FariaINESC TEC and Faculty of Engineering, University of PortoVerified email at fe.up.pt
