João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 89



61
TÍTULO: Techniques and toolset for conformance testing against UML sequence diagrams
AUTORES: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLICAÇÃO: 2013, FONTE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
62
63
TÍTULO: GUI reverse engineering with machine learning
AUTORES: Morgado, IC ; Paiva, ACR ; Faria, JP ; Camacho, R ;
PUBLICAÇÃO: 2012, FONTE: 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 in 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
64
TÍTULO: Message from conference chairs: QUATIC 2012
AUTORES: Faria, JP ; Paiva, A ; Da Silva, AR ; Da Silva, AR;
PUBLICAÇÃO: 2012, FONTE: 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012 in Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
65
TÍTULO: PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation
AUTORES: Cesar Barbosa Duarte; Joao Pascoal Faria ; Mushtaq Raza ;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | ResearcherID | DBLP
66
TÍTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
67
TÍTULO: Test Generation from UML Sequence Diagrams
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
PUBLICAÇÃO: 2012, FONTE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP
68
TÍTULO: Towards a framework to evaluate and improve the quality of implementation of CMMI® practices
AUTORES: Lopes Margarido, I; Pascoal Faria, J ; Moreira Vidal, R; Vieira, M ;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on Product-Focused Software Process Improvement, PROFES 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7343 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
69
TÍTULO: Classification of Defect Types in Requirements Specifications: Literature Review, Proposal and Assessment
AUTORES: Isabel Lopes Margarido; Joao Pascoal Faria ; Raul Moreira Vidal ; Marco Vieira ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
70
TÍTULO: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTORES: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
Página 7 de 9. Total de resultados: 89.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service