Seuraa
João Pascoal Faria
João Pascoal Faria
INESC TEC and Faculty of Engineering, University of Porto
Vahvistettu sähköpostiosoite verkkotunnuksessa fe.up.pt
Nimike
Viittaukset
Viittaukset
Vuosi
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
Modeling and testing hierarchical GUIs
ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
732005
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
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
51*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
452007
Reverse engineered formal models for GUI testing
ACR Paiva, JCP Faria, P Mendes
Proceedings of the 12th international conference on Formal methods for …, 2007
442007
Automated pattern-based testing of mobile applications
IC Morgado, ACR Paiva, JP Faria
2014 9th International Conference on the Quality of Information and …, 2014
432014
Dynamic reverse engineering of graphical user interfaces
IC Morgado, ACR Paiva, JP Faria
International Journal On Advances in So ware, 2012
432012
A metamodel-based approach for automatic user interface generation
A da Cruz, J Faria
Model Driven Engineering Languages and Systems, 256-270, 2010
432010
Automatic generation of user interface models and prototypes from domain and use case models
AMR da Cruz, JP Faria
41*2009
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
372020
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
332018
Izinto a pattern-based IoT testing framework
PM Pontes, B Lima, JP Faria
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018
312018
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
302005
Reverse engineering of graphical user interfaces
IC Morgado, A Paiva, JP Faria
The Sixth International Conference on Software Engineering Advances …, 2011
292011
End-to-end automatic business process validation
ACR Paiva, NH Flores, JP Faria, JMG Marques
Procedia Computer Science 130, 999-1004, 2018
272018
Test patterns for IoT
PM Pontes, B Lima, JP Faria
Proceedings of the 9th ACM SIGSOFT international workshop on automating TEST …, 2018
262018
Automatic model transformation from UML sequence diagrams to coloured petri nets
JAC Soares
PQDT-Global, 2017
232017
Test coverage analysis of UML state machines
RDF Ferreira, JP Faria, ACR Paiva
2010 Third International Conference on Software Testing, Verification, and …, 2010
232010
Specification-based testing of user interfaces
ACR Paiva, JCP Faria, RFAM Vidal
Interactive Systems. Design, Specification, and Verification: 10th …, 2003
232003
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20