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 | 106 | 2005 |
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 | 69 | 2010 |
Classification of defect types in requirements specifications: Literature review, proposal and assessment I Lopes Margarido, JP Faria, RM Vidal, M Vieira Information Systems and Technologies (CISTI), 2011 6th Iberian Conference on …, 2011 | 49* | 2011 |
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 | 43 | 2007 |
Reverse engineered formal models for GUI testing ACR Paiva, JCP Faria, P Mendes Proceedings of the 12th international conference on Formal methods for …, 2007 | 43 | 2007 |
Automated pattern-based testing of mobile applications IC Morgado, ACR Paiva, JP Faria 2014 9th International Conference on the Quality of Information and …, 2014 | 40 | 2014 |
Automatic generation of user interface models and prototypes from domain and use case models AMR da Cruz, JP Faria | 40* | 2009 |
Dynamic reverse engineering of graphical user interfaces IC Morgado, ACR Paiva, JP Faria International Journal On Advances in So ware, 2012 | 39 | 2012 |
A metamodel-based approach for automatic user interface generation A da Cruz, J Faria Model Driven Engineering Languages and Systems, 256-270, 2010 | 39 | 2010 |
Visual self-healing modelling for reliable internet-of-things systems JP Dias, B Lima, JP Faria, A Restivo, HS Ferreira International Conference on Computational Science, 357-370, 2020 | 34 | 2020 |
A reactive and model-based approach for developing internet-of-things systems JP Dias, JP Faria, HS Ferreira 2018 11th International Conference on the Quality of Information and …, 2018 | 32 | 2018 |
Wiki based requirements documentation of generic software products C Silveira, JP Faria, A Aguiar, R Vidal Proceedings of the 10th Australian Workshop on Requirements Engineering …, 2005 | 29 | 2005 |
Izinto a pattern-based IoT testing framework PM Pontes, B Lima, JP Faria Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018 | 28 | 2018 |
Reverse engineering of graphical user interfaces IC Morgado, A Paiva, JP Faria The Sixth International Conference on Software Engineering Advances …, 2011 | 28 | 2011 |
Test patterns for IoT PM Pontes, B Lima, JP Faria Proceedings of the 9th ACM SIGSOFT international workshop on automating TEST …, 2018 | 26 | 2018 |
Specification-based testing of user interfaces ACR Paiva, JCP Faria, RFAM Vidal Interactive Systems. Design, Specification, and Verification: 10th …, 2003 | 24 | 2003 |
End-to-end automatic business process validation ACR Paiva, NH Flores, JP Faria, JMG Marques Procedia Computer Science 130, 999-1004, 2018 | 23 | 2018 |
Test coverage analysis of UML state machines RDF Ferreira, JP Faria, ACR Paiva 2010 Third International Conference on Software Testing, Verification, and …, 2010 | 23 | 2010 |
Automatic model transformation from uml sequence diagrams to coloured petri nets JAC Soares | 22 | 2017 |