João Pascoal Faria
João Pascoal Faria
INESC TEC and Faculty of Engineering, University of Porto
Verified email at fe.up.pt
Title
Cited by
Cited by
Year
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
912005
Modeling and testing hierarchical GUIs
ACR Paiva, N Tillmann, JCP Faria, RFAM Vidal
Proceedings of the 12th International Workshop on Abstract State Machines, 2005
582005
Reverse engineering of GUI models for testing
AMP Grilo, ACR Paiva, JP Faria
5th Iberian Conference on Information Systems and Technologies, 1-6, 2010
562010
An Earth-sized exoplanet with a Mercury-like composition
A Santerne, B Brugger, DJ Armstrong, V Adibekyan, J Lillo-Box, ...
Nature Astronomy 2 (5), 393-400, 2018
432018
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
422007
Reverse engineered formal models for GUI testing
ACR Paiva, JCP Faria, P Mendes
Proceedings of the 12th international conference on Formal methods for …, 2007
412007
A metamodel-based approach for automatic user interface generation
A da Cruz, J Faria
Model Driven Engineering Languages and Systems, 256-270, 2010
332010
Dynamic reverse engineering of graphical user interfaces
IC Morgado, ACR Paiva, JP Faria
International Journal On Advances in Software 5 (3), 2012
322012
Automated pattern-based testing of mobile applications
IC Morgado, ACR Paiva, JP Faria
2014 9th International Conference on the Quality of Information and …, 2014
312014
Reverse engineering of graphical user interfaces
IC Morgado, A Paiva, JP Faria
The Sixth International Conference on Software Engineering Advances …, 2011
262011
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
23*2011
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
232005
Automatic generation of user interface models and prototypes from domain and use case models
AMR da Cruz, JP Faria
222009
Specification-based testing of user interfaces
ACR Paiva, JCP Faria, RFAM Vidal
International Workshop on Design, Specification, and Verification of …, 2003
222003
Test coverage analysis of UML state machines
RDF Ferreira, JP Faria, ACR Paiva
2010 Third International Conference on Software Testing, Verification, and …, 2010
182010
The TROY project: Searching for co-orbital bodies to known planets-I. Project goals and first results from archival radial velocity
J Lillo-Box, D Barrado, P Figueira, A Leleu, NC Santos, ACM Correia, ...
Astronomy & Astrophysics 609, A96, 2018
172018
GUI reverse engineering with machine learning
IC Morgado, ACR Paiva, JP Faria, R Camacho
2012 First International Workshop on Realizing AI Synergies in Software …, 2012
162012
SWEET-Cat updated-New homogenous spectroscopic parameters
SG Sousa, V Adibekyan, E Delgado-Mena, NC Santos, DT Andreasen, ...
Astronomy & Astrophysics 620, A58, 2018
152018
Specification-driven unit test generation for java generic classes
FR de Andrade, JP Faria, A Lopes, ACR Paiva
International Conference on Integrated Formal Methods, 296-311, 2012
152012
A gap analysis methodology for the team software process
LMG Amaral, JP Faria
2010 Seventh International Conference on the Quality of Information and …, 2010
152010
The system can't perform the operation now. Try again later.
Articles 1–20