| A model-to-implementation mapping tool for automated model-based GUI testing ACR Paiva, JCP Faria, N Tillmann, RAM Vidal Formal Methods and Software Engineering: 7th International Conference on …, 2005 | 105 | 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 | 78 | 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 | 73 | 2008 |
| Modeling and Testing Hierarchical GUIs ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal Proceedings of the 12th International Workshop on Abstract State Machines, 2005 | 70 | 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 | 68 | 2010 |
| 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 | 54 | 2018 |
| Automated specification-based testing of graphical user interfaces ACR Paiva Department of Electrical and Computer Engineering, 228, 2007 | 53* | 2007 |
| 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 | 49 | 2017 |
| Pattern Based GUI Testing for Mobile Applications P Costa, ACR Paiva, M Nabuco 9th International Conference on the Quality of Information and …, 2014 | 46 | 2014 |
| 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 | 45 | 2014 |
| 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 Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008 | 43 | 2008 |
| The impact tool: Testing ui patterns on mobile applications IC Morgado, ACR Paiva 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 41 | 2015 |
| 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 | 40 | 2010 |
| 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 | 39 | 2018 |
| Test case generation from mutated task models A Barbosa, ACR Paiva, JC Campos Proceedings of the 3rd acm sigchi symposium on engineering interactive …, 2011 | 38 | 2011 |
| Dynamic reverse engineering of graphical user interfaces IC Morgado, ACR Paiva, JP Faria International Journal On Advances in So ware, 2012 | 37 | 2012 |
| Automated pattern-based testing of mobile applications IC Morgado, ACR Paiva, JP Faria 2014 9th International Conference on the Quality of Information and …, 2014 | 36 | 2014 |
| Web Application Model Generation through Reverse Engineering and UI Pattern Inferring ACRP Clara Sacramento 9th Internatinal Conference on the Quality of Information and Communications …, 2014 | 35 | 2014 |
| Model-based test case generation for web applications M Nabuco, ACR Paiva Computational Science and Its Applications–ICCSA 2014: 14th International …, 2014 | 34 | 2014 |
João Pascoal FariaINESC TEC and Faculty of Engineering, University of PortoVerified email at fe.up.pt
