Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases. - João Pascoal Faria; Raul Moreira Vidal (SBBD, 1999)

Automated Specification-based Testing of Interactive Components with AsmL. - Ana C. R. Paiva; João Pascoal Faria; Raul Moreira Vidal (QUATIC, 2004)

A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament. - João Falcão e Cunha; Mário Jorge Leitão; João Pascoal Faria; Miguel Pimenta Monteiro; Maria Antónia Carravilla (Electronic Voting, 2006)

Automatic Generation of User Interfaces from Domain and Use Case Models. - António Miguel Rosado da Cruz; João Pascoal Faria (QUATIC, 2007)

Automatic Generation of Interactive Prototypes for Domain Model Validation. - António Miguel Rosado da Cruz; João Pascoal Faria (ICSOFT (SE/MUSE/GSDCA), 2008)

Adaptive Object-Modelling: Patterns, Tools and Applications. - Hugo Sereno Ferreira; Ademar Aguiar; João Pascoal Faria (ICSEA, 2009)

Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models. - António Miguel Rosado da Cruz; João Pascoal Faria (ICSOFT (1), 2009)

A Metamodel-Based Approach for Automatic User Interface Generation. - António Miguel Rosado da Cruz; João Pascoal Faria (MoDELS (1), 2010)

A Gap Analysis Methodology for the Team Software Process. - Luis Manuel Gonzalez Amaral; João Pascoal Faria (QUATIC, 2010)

Test Generation from Bounded Algebraic Specifications using Alloy. - Francisco Rebello de Andrade; João Pascoal Faria; Ana C. R. Paiva (ICSOFT (2), 2011)

GUI reverse engineering with machine learning. - Ines Coimbra Morgado; Ana C. R. Paiva; João Pascoal Faria; Rui Camacho (RAISE@ICSE, 2012)

Specification-Driven Unit Test Generation for Java Generic Classes. - Francisco Rebello de Andrade; João Pascoal Faria; Antónia Lopes; Ana C. R. Paiva (IFM, 2012)

Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices. - Isabel Lopes Margarido; João Pascoal Faria; Raul Moreira Vidal; Marco Vieira (PROFES, 2012)

PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation. - Cesar Barbosa Duarte; João Pascoal Faria; Mushtaq Raza (QUATIC, 2012)

Test Generation from UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Zhuanli Yang (QUATIC, 2012)

A testing and certification methodology for an Ambient-Assisted Living ecosystem. - João Pascoal Faria; Bruno Lima; Tiago Boldt Sousa; Angelo Martins (Healthcom, 2013)

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. - João Pascoal Faria; Ana C. R. Paiva; Mário Ventura de Castro (ICTSS, 2013)

Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). - João Pascoal Faria; Ana C. R. Paiva (ACM SIGSOFT Softw. Eng. Notes, 2013)

Inferring User Interface Patterns from Execution Traces of Web Applications. - Miguel Nabuco; Ana C. R. Paiva; João Pascoal Faria (ICCSA (5), 2014)

A model for analyzing estimation, productivity, and quality performance in the personal software process. - Mushtaq Raza; João Pascoal Faria (ICSSP, 2014)

A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development. - Mushtaq Raza; João Pascoal Faria (PROFES, 2014)

Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014). - Rui Abreu 001; João Pascoal Faria (QUATIC, 2014)

Automated Pattern-Based Testing of Mobile Applications. - Ines Coimbra Morgado; Ana C. R. Paiva; João Pascoal Faria (QUATIC, 2014)

A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem. - João Pascoal Faria; Bruno Lima; Tiago Boldt Sousa; Angelo Martins (Int. J. E Health Medical Commun., 2014)

Introduction to Special Issue: Quality in Information and Communications Technology. - Ricardo Jorge Machado 001; Miguel Goulão; Fernando Brito e Abreu; João Pascoal Faria (Innov. Syst. Softw. Eng., 2014)

An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems. - Bruno Lima; João Pascoal Faria (ICSOFT-EA, 2015)

Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. - Bruno Lima; João Pascoal Faria (ICSOFT (Selected Papers), 2015)

Testing Distributed and Heterogeneous Systems: State of the Practice. - Bruno Lima; João Pascoal Faria (ICSOFT-EA, 2016)

A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. - Bruno Lima; João Pascoal Faria (ICSOFT (Selected Papers), 2016)

A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. - Bruno Lima; João Pascoal Faria (ICST Workshops, 2016)

ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development. - Mushtaq Raza; João Pascoal Faria (ASE, 2016)

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets. - Bruno Lima; João Pascoal Faria (QUATIC, 2016)

Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis. - Mushtaq Raza; João Pascoal Faria; Rafael Salazar (SEKE, 2016)

MT4A: a no-programming test automation framework for Android applications. - Tiago Coelho; Bruno Lima; João Pascoal Faria (A-TEST@SIGSOFT FSE, 2016)

A model for analyzing performance problems and root causes in the personal software process. - Mushtaq Raza; João Pascoal Faria (J. Softw. Evol. Process., 2016)

A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. - João Pascoal Faria; Ana C. R. Paiva (Int. J. Softw. Tools Technol. Transf., 2016)

Helping software engineering students analyzing their performance data: tool support in an educational environment. - Mushtaq Raza; João Pascoal Faria; Rafael Salazar (ICSE (Companion Volume), 2017)

Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. - Bruno Lima; João Pascoal Faria (ICSOFT, 2017)

WebProcessPAIR: recommendation system for software process improvement. - Mushtaq Raza; João Pascoal Faria; Luis Amaro; Pedro Castro Henriques (ICSSP, 2017)

End-to-end Automatic Business Process Validation. - Ana C. R. Paiva; Nuno H. Flores; João Pascoal Faria; José M. G. Marques (ANT/SEIT, 2018)

Towards Real-Time Patient Prioritization in Hospital Emergency Services. - Bruno Lima; João Pascoal Faria (HealthCom, 2018)

Izinto: a pattern-based IoT testing framework. - Pedro Martins Pontes; Bruno Lima; João Pascoal Faria (ISSTA/ECOOP Workshops, 2018)

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. - João António Custódio Soares; Bruno Lima; João Pascoal Faria (MODELSWARD, 2018)

A Reactive and Model-Based Approach for Developing Internet-of-Things Systems. - João Pedro Dias; João Pascoal Faria; Hugo Sereno Ferreira (QUATIC, 2018)

Test patterns for IoT. - Pedro Martins Pontes; Bruno Lima; João Pascoal Faria (A-TEST@ESEC/SIGSOFT FSE, 2018)

A Survey of Blockchain Frameworks and Applications. - Bruno Tavares; Filipe Figueiredo Correia; André Restivo; João Pascoal Faria; Ademar Aguiar (SoCPaR, 2018)

Local Observability and Controllability Enforcement in Distributed Testing. - Bruno Lima; João Pascoal Faria; Robert M. Hierons (QUATIC, 2019)

Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S). - Mushtaq Raza; João Pascoal Faria (SEKE, 2019)

Assisting software engineering students in analyzing their performance in software development. - Mushtaq Raza; João Pascoal Faria; Rafael Salazar (Softw. Qual. J., 2019)

A living lab for professional skills development in Software Engineering Management at U.Porto. - Gil Manuel Gonçalves; Raquel F. Ch. Meneses; João Pascoal Faria; Raul Moreira Vidal (EDUCON, 2020)

Visual Self-healing Modelling for Reliable Internet-of-Things Systems. - João Pedro Dias; Bruno Lima; João Pascoal Faria; André Restivo; Hugo Sereno Ferreira (ICCS (5), 2020)

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. - Bruno Lima; João Pascoal Faria (ICSE (Companion Volume), 2020)

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. - Bruno Lima; João Pascoal Faria; Robert M. Hierons (IEEE Access, 2020)

The ProcessPAIR Method for Automated Software Process Performance Analysis. - Mushtaq Raza; João Pascoal Faria (IEEE Access, 2020)

Applying Machine Learning to Risk Assessment in Software Projects. - André Sousa; João Pascoal Faria; João Mendes-Moreira 001; Duarte Gomes; Pedro Castro Henriques; Ricardo Graça (PKDD/ECML Workshops (2), 2021)

An analysis of Monte Carlo simulations for forecasting software projects. - Pedro Miranda; João Pascoal Faria; Filipe Figueiredo Correia; Ahmed Fares; Ricardo Graça; João Mendes Moreira 001 (SAC, 2021)

An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S). - André Sousa; João Pascoal Faria; João Mendes-Moreira 001 (SEKE, 2021)

A Pattern-Based Test Platform for Families of Smart Health Products. - Pedro Almeida; João Pascoal Faria; Bruno Lima (QRS, 2022)

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. - João Pascoal Faria; Rui Abreu 001 (FSEN, 2023)

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device. - Sadra Farshid; Bruno Lima; João Pascoal Faria (ICSOFT, 2023)

Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects. - André Sousa; Daniel T. Veloso; Henrique M. Gonçalves; João Pascoal Faria; João Mendes-Moreira 001; Ricardo Graça; Duarte Gomes; Rui Nuno Castro; Pedro Castro Henriques (IEEE Access, 2023)

APITestGenie: Automated API Test Generation through Generative AI. - André Pereira; Bruno Lima; João Pascoal Faria (CoRR, 2024)

Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023). - João Pascoal Faria; Freek Verbeek; Anna Rita Fasolino (ACM SIGSOFT Softw. Eng. Notes, 2024)

Acceptance Test Generation with Large Language Models: An Industrial Case Study. - Margarida Ferreira; Luís Viegas; João Pascoal Faria; Bruno Lima (AST, 2025)

Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry. - Melissa Silva; João Pascoal Faria (ENASE, 2025)

Automatic Generation of Loop Invariants in Dafny with Large Language Models. - João Pascoal Faria; Emanuel Trigo; Rui Abreu 001 (FSEN, 2025)

LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs. - André Mesquita Rincon; Auri Marcelo Rizzo Vincenzi; João Pascoal Faria (ICSTW, 2025)

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study. - Pedro Luís Fonseca; Bruno Lima; João Pascoal Faria (CoRR, 2025)