???global.info.a_carregar???
João Pascoal Faria holds a PhD in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto in 1999, where he is currently Full Professor at the Department of Informatics Engineering, Director of the Master in Software Engineering (MESW), and FEUP's Pro-Director for Continuous Improvement. He is a senior researcher in Software Engineering at INESC TEC in the Human-Centered Computing and Information Science (HumanISE) center. In the past, he worked with several software companies (Novabase Saúde, Sidereus, Medidata) and was a co-founder of two others (Qualisoft and Strongstep). He has more than 30 years of experience in education, research, development and consultancy in software engineering. He obtained the Certified Personal Software Process (PSP) Developer, Authorized PSP Instructor, and trained Team Software Process (TSP) Coach qualifications from the Software Engineering Institute of Carnegie Mellon University. He is the main author of a rapid application development tool (SAGA) based on domain-specific languages, with more than 30 years of market presence and evolution. His current research focuses on advancing software quality—encompassing software testing, software verification, and software process improvement—by leveraging synergies between software engineering and artificial intelligence.
Ler resumo completo ↓
Identificação

Identificação pessoal

Nome completo
João Carlos Pascoal Faria

Nomes de citação

  • Pascoal Faria, João

Identificadores de autor

Ciência ID
8D18-45BA-202E
ORCID iD
0000-0003-3825-3954
AuthenticusID
R-000-6WK
Researcher Id
B-5496-2012
Scopus Author Id
35219959000

Endereços de correio eletrónico

  • jpf@fe.up.pt (Profissional)

Moradas

  • Faculty of Enginering of the University of Porto. Rua Dr. Roberto Frias, s/n, 4200-465, Porto, Porto, Portugal (Profissional)

Websites

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
  • Ciências Exatas - Ciências da Computação e da Informação

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Português Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Inglês Utilizador independente (B1) Utilizador proficiente (C1) Utilizador independente (B2) Utilizador independente (B2) Utilizador independente (B2)
Francês Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
1999
Concluído
 Engenharia Eletrotécnica e de Computadores (Doutoramento)
Universidade do Porto Faculdade de Engenharia, Portugal
"Data-driven Active Rules for the Maintenance of Integrity Constraints and Derived Data in Interactive Database Applications" (TESE/DISSERTAÇÃO)
 Aprovado por unanimidade
1985
Concluído
 Engenharia Electrotécnica (Licenciatura)
Especialização em Sistemas Digitais e Computadores
Universidade do Porto Faculdade de Engenharia, Portugal
 18
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento 		Empregador
1985/10/01 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2024/05/13 - Atual Professor Catedrático (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
2016/12/21 - 2024/05/12 Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
2015 - 2018 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
1999/12/03 - 2016/12/20 Assistente (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
2007 - 2013 Professor Auxiliar (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal
1985/12/20 - 1999/12/02 Assistente (Docente Universitário) Universidade do Porto Faculdade de Engenharia, Portugal

Outros

Categoria Profissional
Instituição de acolhimento 		Empregador
2009/05/29 - 2011/10/17 Co-Founder and Senior Consultant Strongstep - Innovation in Software Quality, Portugal
2002/03/01 - 2002/11/30 Software Architect Sidereus, Portugal
2000/08/01 - 2002/02/28 Innovation Manager Novabase Saúde, Portugal
Projetos

Projeto

Designação Financiadores
2022/09 - 2025/08 ENACTEST - European iNnovation AllianCe for TESting educaTion
101055874-ENACTEST-ERASMUS-EDU-2021-PI-ALL-INNO
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Universitat Politècnica de València, Espanha

Università degli Studi di Napoli Federico II, Itália

RISE Research Institutes of Sweden AB, Suécia

Innovation Services SA, Portugal
European Commission
Em curso
2020/11/01 - 2023/06/30 Smart medical technologies for better health and care
POCI-01-0247-FEDER-046115
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal
 Agência Nacional de Inovação S.A.
Concluído
2019/08/01 - 2023/06/30 PROMESSA - PROject ManagEment intellingent aSSistAnt
NORTE-01-0247-FEDER-039887
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal

Associação Fraunhofer Portugal Research, Portugal

Strongstep - Innovation in Software Quality, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2019/04/01 - 2022/03/31 Safe Cities - Inovação para Construir Cidades Seguras
POCI-01-0247-FEDER-041435 (Safe Cities)
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Robert Bosch GmbH, Alemanha
Agência para o Desenvolvimento e Coesão, I.P.
Em curso
2017/05/13 - 2019/09/14 Simprove - The biomedical simulation centre of the future
NORTE-01-0247-FEDER-017566
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Agência Nacional de Inovação S.A.
Concluído
2015/07/01 - 2019/06/30 NanoSTIMA – Macro-to-Nano Human Sensing: Towards Integrated Multimodal Health Monitoring and Analytics
NORTE-01-0145-FEDER-000016
Investigador
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
 Comissão de Coordenação da Região Norte
Concluído
2015/12/01 - 2017/07/31 AIMS2 - Accelerated Improvement Method Strongstep 2
POCI-01-0247-FEDER-006405
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Strongstep - Innovation in Software Quality, Portugal

Match Profiler - Consultadoria e Desenvolvimento de Sistemas de Gestão, Lda, Portugal
Agência Nacional de Inovação S.A.
Concluído
2012/04/01 - 2015/09/30 Teste de interfaces gráficas com o utilizador baseado em padrões
PTDC/EIA-EIA/119479/2010
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2012/04/01 - 2015/04/30 AutoSeer: Oráculos Automáticos para Detecção de Erros em Software
PTDC/EIA-CCO/116796/2010
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal

Universidade do Minho, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2011/08/01 - 2014/04/30 AIMS - Accelerated Improvement Method Support
SI IDT - 21562/2011
Investigador
Universidade do Porto Faculdade de Engenharia, Portugal

Strongstep - Innovation in Software Quality, Portugal

MULTICERT - Serviços de Certificação Electrónica S.A., Portugal
Agência Nacional de Inovação S.A.
Concluído
2010/01/01 - 2013/06/30 Empresa pela Fiabillidade em Componentes de Software Genéricas
PTDC/EIA-EIA/103103/2008
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/06/30 AMBER iTest - Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos
PTDC/EIA/66767/2006
Investigador responsável
Universidade do Porto Faculdade de Engenharia, Portugal

Critical Software, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2005/07/01 - 2008/06/30 IVY - Um ambiente de análise de usabilidade baseado em modelos
POSC/EIA/56646/2004
Universidade do Minho Centro ALGORITMI, Portugal

Universidade do Minho, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade do Porto Faculdade de Engenharia, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Pascoal Faria, João; Emanuel Trigo; Abreu, Rui. Autor correspondente: Pascoal Faria, João. "Automatic Generation of Loop Invariants in Dafny with Large Language Models". Trabalho apresentado em FSEN 2025 - Fundamentals of Software Engineering, Västerås, 2025.
    Aceite para publicação
  2. Farshid, Sadra; Lima, Bruno; Faria, João. "Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device". Trabalho apresentado em ICSOFT 2023 - 18th International Conference on Software Technologies, Roma, 2023.
    Publicado • 10.5220/0012148400003538
  3. Pascoal Faria, João; Abreu, Rui. "Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment". Trabalho apresentado em FSEN 2023 - Fundamentals of Software Engineering, 2023.
    10.1007/978-3-031-42441-0_3
  4. Almeida, P; Faria, JP; Lima, B. "A Pattern-Based Test Platform for Families of Smart Health Products". 2022.
    10.1109/qrs57517.2022.00066
  5. Miranda, P; Faria, JP; Correia, FF; Fares, A; Graça, R; Moreira, JM. "An analysis of Monte Carlo simulations for forecasting software projects". 2021.
    10.1145/3412841.3442030
  6. Sousa A.; Faria J.P.; Mendes-Moreira J.. "An analysis of the state of the art of machine learning for risk assessment in software projects". 2021.
    10.18293/seke2021-097
  7. Gonçalves, GM; Meneses, R; Faria, JP; Vidal, RM; Goncalves, GM. "A living lab for professional skills development in Software Engineering Management at U.Porto". 2020.
    10.1109/educon45650.2020.9125099
  8. Lima, B; Faria, JP. "DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios". 2020.
    10.1145/3377812.3382142
  9. Lima, B; Faria, JP; Hierons, R. "Local Observability and Controllability Enforcement in Distributed Testing". 2019.
    10.1007/978-3-030-29238-6_24
  10. Raza, M; Faria, JP. "Automatic calibration of performance indicators for performance analysis in software development". 2019.
    10.18293/seke2019-188
  11. Custódio Soares, JA; Lima, B; Faria, JP. "Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets". 2018.
    10.5220/0006731806680679
  12. Paiva, ACR; Flores, NH; Faria, JP; Marques, JMG. "End-to-end Automatic Business Process Validation". 2018.
    10.1016/j.procs.2018.04.104
  13. Dias, JP; Faria, JP; Ferreira, HS. "A Reactive and Model-based Approach for Developing Internet-of-Things Systems". 2018.
    10.1109/quatic.2018.00049
  14. Lima, B; Faria, JP. "Towards Real-Time Patient Prioritization in Hospital Emergency Services". 2018.
    10.1109/healthcom.2018.8531089
  15. Pontes, PM; Lima, B; Faria, JP. "Test Patterns for IoT". 2018.
    10.1145/3278186.3278196
  16. Pontes, PM; Lima, B; Faria, JP. "Izinto: a pattern-based IoT testing framework". 2018.
    10.1145/3236454.3236511
  17. Tavares, B; Correia, FF; Restivo, A; Faria, JP; Aguiar, A. "A Survey of Blockchain Frameworks and Applications". 2018.
    10.1007/978-3-030-17065-3_31
  18. Lima, BMC; Faria, JCP. "Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems". 2017.
    10.1109/icstw.2017.64
  19. Raza, M; Faria, JP; Amaro, L; Henriques, PC. "WebProcessPAIR: recommendation system for software process improvement". 2017.
    10.1145/3084100.3084365
  20. Raza, M; Faria, JP; Salazar, R. "Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment". 2017.
    10.1109/icse-c.2017.61
  21. Lima, B; Faria, JP. "Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams". 2017.
    10.5220/0006474004590466
  22. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2017.
    10.1007/978-3-319-62569-0_5
  23. Lima, B; Faria, JP. "Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets". 2016.
    10.1109/quatic.2016.48
  24. Lima, B; Faria, JP. "Testing Distributed and Heterogeneous Systems: State of the Practice". 2016.
    10.5220/0005989100690078
  25. Lima, B; Faria, JP. "A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice". 2016.
  26. Lima, B; Faria, JP. "A Model-Based Approach for Product Testing and Certification in Digital Ecosystems". 2016.
    10.1109/icstw.2016.22
  27. Raza, M; Faria, JP. "ProcessPAIR: A Tool for Automated Performance Analysis and Improvement Recommendation in Software Development". 2016.
    10.1145/2970276.2970284
  28. Coelho, Tiago; Lima, Bruno; Faria, JoaoPascoal. "MT4A: a no-programming test automation framework for Android applications". 2016.
    10.1145/2994291.2994300
  29. Raza, Mushtaq; Faria, JoaoPascoal; Salazar, Rafael. "Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis". 2016.
    10.18293/SEKE2016-205
  30. Lima, B; Faria, JP. "Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams". 2016.
    10.1007/978-3-319-30142-6_21
  31. Lima, B; Faria, JP. "An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems". 2015.
    10.5220/0005558602410250
  32. Raza, M.; Faria, J.P.. "A model for analyzing estimation, productivity, and quality performance in the personal software process". 2014.
    10.1145/2600821.2600828
  33. Raza, M.; Faria, J.P.. "Factors affecting personal software development productivity: A case study with PSP data". 2014.
    10.2316/p.2014.810-014
  34. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.. "Automated pattern-based testing of mobile applications". 2014.
    10.1109/quatic.2014.47
  35. Abreu, R.; Faria, J.P.. "Foreword of the 5th Portuguese software engineering doctoral symposium (SEDES'2014)". 2014.
    10.1109/QUATIC.2014.53
  36. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an Ambient-Assisted Living ecosystem". 2013.
    10.1109/healthcom.2013.6720744
  37. Nabuco, M.; Paiva, A.C.R.; Camacho, R.; Faria, J.P.. "Inferring UI patterns with Inductive Logic Programming". 2013.
  38. Morgado, I.C.; Paiva, A.C.R.; Faria, J.P.; Camacho, R.. "GUI reverse engineering with machine learning". 2012.
    10.1109/RAISE.2012.6227966
  39. Faria, J.P.; Paiva, A.; Da Silva, A.R.. "Message from conference chairs: QUATIC 2012". 2012.
    10.1109/quatic.2012.2
  40. Duarte, C.B.; Faria, J.P.; Raza, M.. "PSP PAIR: Automated personal software process performance analysis and improvement recommendation". 2012.
    10.1109/QUATIC.2012.46
  41. De Andrade, F.R.; Faria, J.P.; Paiva, A.C.R.. "Test generation from bounded algebraic specifications using alloy". 2011.
  42. Lopes Margarido, I.; Faria, J.P.; Vidal, R.M.; Vieira, M.. "Classification of defect types in requirements specifications: Literature review, proposal and assessment". 2011.
  43. Ferreira, R.D.F.; Faria, J.P.; Paiva, A.C.R.. "Test coverage analysis of UML activity diagrams for interactive systems". 2010.
    10.1109/quatic.2010.51
  44. Ferreira, R.D.F.; Paiva, A.C.R.; Faria, J.P.. "Test coverage analysis of UML state machines". 2010.
    10.1109/ICSTW.2010.60
  45. Faria, J.P.; Paiva, A.. "Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs". 2010.
    10.1109/quatic.2010.5
  46. Amaral, L.M.G.; Faria, J.P.. "A gap analysis methodology for the Team Software Process". 2010.
    10.1109/quatic.2010.78
  47. Grilo, A.M.P.; Paiva, A.C.R.; Faria, J.P.. "Reverse engineering of GUI models for testing". 2010.
  48. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of user interface models and prototypes from domain and use case models". 2009.
  49. Da Cruz, A.M.R.; Faria, J.P.. "Automatic generation of interactive prototypes for domain model validation". 2008.
  50. Da Cruz, A.M.R.; De Faria, J.P.. "Automatic generation of user interfaces from domain and use case models". 2007.
    10.1109/QUATIC.2007.14
  51. E Cunha, J.F.; Leitão, M.J.; Faria, J.P.; Monteiro, M.P.; Carravilla, M.A.. "A methodology for auditing e-voting processes and systems used at the elections for the portuguese parliament". 2006.
  52. Paiva, ACR; Tillmann, N; Faria, JCP; Vidal, RFAM. "Modeling and Testing Hierarchical GUIs". 2005.
  53. Paiva, ACR; Faria, JCP; Vidal, RFAM. "Automated specification-based testing of interactive components with asmL". 2004.
  54. Faria, JP; Vidal, RM. "Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases". 1999.
Artigo em revista
  1. Pascoal Faria, João; Verbeek, Freek; Rita Fasolino, Anna. "Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)". ACM SIGSOFT Software Engineering Notes 49 2 (2024): 22-24. https://doi.org/10.1145/3650142.3650149.
    Publicado • 10.1145/3650142.3650149
  2. André O. Sousa; Daniel T. Veloso; Henrique M. Gonçalves; João Pascoal Faria; João Mendes-Moreira; Ricardo Graça; Duarte Gomes; Rui Nuno Castro; Pedro Castro Henriques. "Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3307310.
    10.1109/ACCESS.2023.3307310
  3. Lima, B; Faria, JP; Hierons, R. "Local Observability and Controllability Analysis and Enforcement in Distributed Testing with Time Constraints". IEEE Access (2020):
    10.1109/access.2020.3021858
  4. Raza, M; Faria, JP. "The ProcessPAIR Method for Automated Software Process Performance Analysis". IEEE Access (2020):
    10.1109/access.2020.3013328
  5. Raza, M; Faria, JP; Salazar, R. "Assisting software engineering students in analyzing their performance in software development". SOFTWARE QUALITY JOURNAL (2019):
    10.1007/s11219-018-9433-7
  6. Raza, M; Faria, JP. "A model for analyzing performance problems and root causes in the personal software process". JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS (2016): https://www.authenticus.pt/P-00K-AS7.
    10.1002/smr.1759
  7. Faria, J.P.; Paiva, A.C.R.. "A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets". International Journal on Software Tools for Technology Transfer (2014): http://www.scopus.com/inward/record.url?eid=2-s2.0-84916919978&partnerID=MN8TOARS.
    10.1007/s10009-014-0354-x
  8. Machado, R.J.; Goulão, M.; Brito e Abreu, F.; de Faria, J.P.. "Introduction to Special Issue: Quality in Information and Communications Technology". Innovations in Systems and Software Engineering 10 1 (2014): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-84893907224&partnerID=MN8TOARS.
    10.1007/s11334-014-0229-z
  9. Faria, J.P.; Lima, B.; Sousa, T.B.; Martins, A.. "A testing and certification methodology for an open Ambient-Assisted Living ecosystem". International Journal of E-Health and Medical Communications 5 4 (2014): 90-107. http://www.scopus.com/inward/record.url?eid=2-s2.0-84924359361&partnerID=MN8TOARS.
    10.4018/ijehmc.2014100106
  10. Faria, JP; Paiva, ACR. "Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)". ACM SIGSOFT Software Engineering Notes (2013): https://www.authenticus.pt/P-00A-8XF.
    10.1145/2382756.2382765
  11. Faria, Joao Pascoal; Paiva, Ana C. R.; Yang, Zhuanli; Faria, JP; Silva, A; Machado, RJ. "Test Generation from UML Sequence Diagrams". 2012 Eighth International Conference on the Quality of Information and Communications Technology (Quatic 2012) (2012): 245-250.
    10.1109/QUATIC.2012.57
  12. Ferreira, Hugo Sereno; Aguiar, Ademar; Faria, Joao Pascoal; Boness, K; Fernandes, JM; Hall, JG. "Adaptive Object-Modelling: Patterns, Tools and Applications". 2009 Fourth International Conference on Software Engineering Advances (Icsea 2009) (2009): 530-535.
    10.1109/icsea.2009.83
  13. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. "Towards the Integration of Visual and Formal Models for GUI Testing". Electronic Notes in Theoretical Computer Science 190 2 SPEC. IS (2007): 99-111. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548129521&partnerID=MN8TOARS.
    10.1016/j.entcs.2007.08.010
Capítulo de livro
  1. Sousa, André; Faria, João Pascoal; Mendes-Moreira, João; Gomes, Duarte; Henriques, Pedro Castro; Graça, Ricardo. "Applying Machine Learning to Risk Assessment in Software Projects". In Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 104-118. Springer International Publishing, 2021.
    10.1007/978-3-030-93733-1_7
  2. João Pedro Dias; Bruno Lima; João Pascoal Faria; André Restivo; Hugo Sereno Ferreira. "Visual Self-healing Modelling for Reliable Internet-of-Things Systems". 357-370. Springer International Publishing, 2020.
    10.1007/978-3-030-50426-7_27
Edição de livro
  1. Antonia Bertolino; Pascoal Faria, João; Patricia Lago; Laura Semini. 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024 Pisa, Italy, September 11–13, 2024, Proceedings. Suiça: Springer Nature Switzerland. 2024.
    Publicado • 10.1007/978-3-031-70245-7 • Editor
  2. Faria, JP; Silva, ARd; Machado, RJ. 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings. 2012.
  3. Abreu, FBe; Faria, JP; Machado, RJ. Quality of Information and Communications Technology, 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings. 2010.
Livro
  1. Nabuco, M.; Paiva, A.C.R.; Faria, J.P.. Inferring user interface patterns from execution traces of web applications. 2014.
    10.1007/978-3-319-09156-3_23
  2. Raza, M.; Faria, J.P.. A benchmark-based approach for ranking root causes of performance problems in software development. 2014.
    10.1007/978-3-319-13835-0_30
  3. Faria, J.P.; Paiva, A.C.R.; De Castro, M.V.. Techniques and toolset for conformance testing against UML sequence diagrams. 2013.
    10.1007/978-3-642-41707-8_12
  4. Lopes Margarido, I.; Pascoal Faria, J.; Moreira Vidal, R.; Vieira, M.. Towards a framework to evaluate and improve the quality of implementation of CMMI® practices. 2012.
    10.1007/978-3-642-31063-8_29
  5. Rebello De Andrade, F.; Faria, J.P.; Lopes, A.; Paiva, A.C.R.. Specification-driven unit test generation for java generic classes. 2012.
    10.1007/978-3-642-30729-4_21
  6. Da Cruz, A.M.R.; Faria, J.P.. A metamodel-based approach for automatic user interface generation. 2010.
    10.1007/978-3-642-16145-2_18
  7. Paiva, A.C.R.; Faria, J.C.P.; Mendes, P.M.C.. Reverse engineered formal models for GUI testing. 2008.
    10.1007/978-3-540-79707-4_16
  8. Paiva, A.C.R.; Faria, J.C.P.; Tillmann, N.; Vidal, R.A.M.. A model-to-implementation mapping tool for automated model-based GUI testing. 2005.
    10.1007/11576280_31
  9. Paiva, A.C.R.; Faria, J.C.P.; Vidal, R.F.A.M.. Specification-based testing of user interfaces. 2003.
    10.1007/978-3-540-39929-2_10
Pré-impressão
  1. André Pereira; Lima, Bruno; Pascoal Faria, João. "APITestGenie: Automated API Test Generation through Generative AI". 2024. https://arxiv.org/abs/2409.03838.
  2. Pascoal Faria, João; Abreu, Rui. "Case studies of development of verified programs with Dafny for accessibility assessment". 2023. https://arxiv.org/abs/2301.03224.

Outros

Outra produção
  1. DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. 2020. Lima, B; Faria, JP.
  2. Message from the a- Most 2019 chairs. 2019. Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP; Wang, S.
    10.1109/icstw.2019.00006
Atividades

Membro de comissão

Descrição da atividade
Tipo de participação 		Instituição / Organização
2017/01/17 - 2021/02/23 Presidente da CS03 - Comissão Sectorial para as Tecnologias da Informação e Comunicação
Vogal
 Instituto Português da Qualidade, Portugal
Distinções

Outra distinção

2011 ICSEA 2011: Best Paper Award
2010 MODELS 2010: Best paper award
2009 ICSEA 2009: Best paper award
2005 AWRE´05: Best paper award