João Pascoal Faria

76 papers A* 2B 6C 13Misc 14Journal 17Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles. CoRR João Pascoal Faria, Emanuel Trigo, Vinicius Honorato, Rui Abreu
2025	C	`conf`	Acceptance Test Generation with Large Language Models: An Industrial Case Study. AST Margarida Ferreira, Luís Viegas, João Pascoal Faria, Bruno Lima
2025	J	`jnl`	Acceptance Test Generation with Large Language Models: An Industrial Case Study. CoRR Margarida Ferreira, Luís Viegas, João Pascoal Faria, Bruno Lima
2025	B	`conf`	Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry. ENASE Melissa Silva, João Pascoal Faria
2025	—	`conf`	Automatic Generation of Loop Invariants in Dafny with Large Language Models. FSEN João Pascoal Faria, Emanuel Trigo, Rui Abreu
2025	—	`conf`	LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs. ICSTW André Mesquita Rincon, Auri Marcelo Rizzo Vincenzi, João Pascoal Faria
2025	A*	`conf`	Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study. ASE Pedro Luís Fonseca, Bruno Lima, João Pascoal Faria
2025	J	`jnl`	Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study. CoRR Pedro Luís Fonseca, Bruno Lima, João Pascoal Faria
2024	J	`jnl`	APITestGenie: Automated API Test Generation through Generative AI. CoRR André Pereira, Bruno Lima, João Pascoal Faria
2024	Misc	`ed.`	Quality of Information and Communications Technology - 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11-13, 2024, Proceedings QUATIC Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini
2024	J	`jnl`	Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023). ACM SIGSOFT Softw. Eng. Notes João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino
2023	J	`jnl`	Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects. IEEE Access André 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
2023	—	`conf`	Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment. FSEN João Pascoal Faria, Rui Abreu
2023	J	`jnl`	Case studies of development of verified programs with Dafny for accessibility assessment. CoRR João Pascoal Faria, Rui Abreu
2023	C	`conf`	Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device. ICSOFT Sadra Farshid, Bruno Lima, João Pascoal Faria
2022	C	`conf`	A Pattern-Based Test Platform for Families of Smart Health Products. QRS Pedro Almeida, João Pascoal Faria, Bruno Lima
2021	C	`conf`	An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S). SEKE André Sousa, João Pascoal Faria, João Mendes-Moreira
2021	Misc	`conf`	An analysis of Monte Carlo simulations for forecasting software projects. SAC Pedro Miranda, João Pascoal Faria, Filipe Figueiredo Correia, Ahmed A. Fares, Ricardo Graça, João Mendes Moreira
2021	—	`conf`	Applying Machine Learning to Risk Assessment in Software Projects. PKDD/ECML Workshops (2) André Sousa, João Pascoal Faria, João Mendes-Moreira, Duarte Gomes, Pedro Castro Henriques, Ricardo Graça
2020	C	`conf`	A living lab for professional skills development in Software Engineering Management at U.Porto. EDUCON Gil Manuel Gonçalves, Raquel F. Ch. Meneses, João Pascoal Faria, Raul Moreira Vidal
2020	J	`jnl`	DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios. CoRR Bruno Lima, João Pascoal Faria
2020	—	`conf`	DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios. ICSE (Companion Volume) Bruno Lima, João Pascoal Faria
2020	J	`jnl`	Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints. IEEE Access Bruno Lima, João Pascoal Faria, Robert M. Hierons
2020	J	`jnl`	The ProcessPAIR Method for Automated Software Process Performance Analysis. IEEE Access Mushtaq Raza, João Pascoal Faria
2020	—	`conf`	Visual Self-healing Modelling for Reliable Internet-of-Things Systems. ICCS (5) João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo, Hugo Sereno Ferreira
2019	J	`jnl`	A survey of blockchain frameworks and applications. CoRR Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar
2019	J	`jnl`	Assisting software engineering students in analyzing their performance in software development. Softw. Qual. J. Mushtaq Raza, João Pascoal Faria, Rafael Salazar
2019	C	`conf`	Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S). SEKE Mushtaq Raza, João Pascoal Faria
2019	Misc	`conf`	Local Observability and Controllability Enforcement in Distributed Testing. QUATIC Bruno Lima, João Pascoal Faria, Robert M. Hierons
2018	Misc	`conf`	A Reactive and Model-Based Approach for Developing Internet-of-Things Systems. QUATIC João Pedro Dias, João Pascoal Faria, Hugo Sereno Ferreira
2018	—	`conf`	A Survey of Blockchain Frameworks and Applications. SoCPaR Bruno Tavares, Filipe Figueiredo Correia, André Restivo, João Pascoal Faria, Ademar Aguiar
2018	C	`conf`	Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets. MODELSWARD João António Custódio Soares, Bruno Lima, João Pascoal Faria
2018	—	`conf`	End-to-end Automatic Business Process Validation. ANT/SEIT Ana C. R. Paiva, Nuno H. Flores, João Pascoal Faria, José M. G. Marques
2018	—	`conf`	Test patterns for IoT. A-TEST@ESEC/SIGSOFT FSE Pedro Martins Pontes, Bruno Lima, João Pascoal Faria
2018	C	`conf`	Towards Real-Time Patient Prioritization in Hospital Emergency Services. HealthCom Bruno Lima, João Pascoal Faria
2017	C	`conf`	Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams. ICSOFT Bruno Lima, João Pascoal Faria
2017	—	`conf`	Helping software engineering students analyzing their performance data: tool support in an educational environment. ICSE (Companion Volume) Mushtaq Raza, João Pascoal Faria, Rafael Salazar
2017	B	`conf`	WebProcessPAIR: recommendation system for software process improvement. ICSSP Mushtaq Raza, João Pascoal Faria, Luis Amaro, Pedro Castro Henriques
2016	—	`conf`	A Model-Based Approach for Product Testing and Certification in Digital Ecosystems. ICST Workshops Bruno Lima, João Pascoal Faria
2016	—	`conf`	A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice. ICSOFT (Selected Papers) Bruno Lima, João Pascoal Faria
2016	J	`jnl`	A model for analyzing performance problems and root causes in the personal software process. J. Softw. Evol. Process. Mushtaq Raza, João Pascoal Faria
2016	J	`jnl`	A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf. João Pascoal Faria, Ana C. R. Paiva
2016	C	`conf`	Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis. SEKE Mushtaq Raza, João Pascoal Faria, Rafael Salazar
2016	—	`conf`	MT4A: a no-programming test automation framework for Android applications. A-TEST@SIGSOFT FSE Tiago Coelho, Bruno Lima, João Pascoal Faria
2016	A*	`conf`	ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development. ASE Mushtaq Raza, João Pascoal Faria
2016	—	`conf`	Testing Distributed and Heterogeneous Systems: State of the Practice. ICSOFT-EA Bruno Lima, João Pascoal Faria
2016	Misc	`conf`	Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets. QUATIC Bruno Lima, João Pascoal Faria
2015	—	`conf`	An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems. ICSOFT-EA Bruno Lima, João Pascoal Faria
2015	—	`conf`	Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams. ICSOFT (Selected Papers) Bruno Lima, João Pascoal Faria
2014	B	`conf`	A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development. PROFES Mushtaq Raza, João Pascoal Faria
2014	J	`jnl`	A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem. Int. J. E Health Medical Commun. João Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins
2014	B	`conf`	A model for analyzing estimation, productivity, and quality performance in the personal software process. ICSSP Mushtaq Raza, João Pascoal Faria
2014	Misc	`conf`	Automated Pattern-Based Testing of Mobile Applications. QUATIC Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria
2014	Misc	`conf`	Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014). QUATIC Rui Abreu, João Pascoal Faria
2014	—	`conf`	Inferring User Interface Patterns from Execution Traces of Web Applications. ICCSA (5) Miguel Nabuco, Ana C. R. Paiva, João Pascoal Faria
2014	J	`jnl`	Introduction to Special Issue: Quality in Information and Communications Technology. Innov. Syst. Softw. Eng. Ricardo Jorge Machado, Miguel Goulão, Fernando Brito e Abreu, João Pascoal Faria
2013	C	`conf`	A testing and certification methodology for an Ambient-Assisted Living ecosystem. Healthcom João Pascoal Faria, Bruno Lima, Tiago Boldt Sousa, Angelo Martins
2013	J	`jnl`	Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012). ACM SIGSOFT Softw. Eng. Notes João Pascoal Faria, Ana C. R. Paiva
2013	C	`conf`	Techniques and Toolset for Conformance Testing against UML Sequence Diagrams. ICTSS João Pascoal Faria, Ana C. R. Paiva, Mário Ventura de Castro
2012	Misc	`ed.`	8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012, Lisbon, Portugal, 2-6 September 2012, Proceedings QUATIC João Pascoal Faria, Alberto Rodrigues da Silva, Ricardo Jorge Machado
2012	—	`conf`	GUI reverse engineering with machine learning. RAISE@ICSE Ines Coimbra Morgado, Ana C. R. Paiva, João Pascoal Faria, Rui Camacho
2012	Misc	`conf`	PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation. QUATIC Cesar Barbosa Duarte, João Pascoal Faria, Mushtaq Raza
2012	B	`conf`	Specification-Driven Unit Test Generation for Java Generic Classes. IFM Francisco Rebello de Andrade, João Pascoal Faria, Antónia Lopes, Ana C. R. Paiva
2012	Misc	`conf`	Test Generation from UML Sequence Diagrams. QUATIC João Pascoal Faria, Ana C. R. Paiva, Zhuanli Yang
2012	B	`conf`	Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices. PROFES Isabel Lopes Margarido, João Pascoal Faria, Raul Moreira Vidal, Marco Vieira
2011	—	`conf`	Test Generation from Bounded Algebraic Specifications using Alloy. ICSOFT (2) Francisco Rebello de Andrade, João Pascoal Faria, Ana C. R. Paiva
2010	Misc	`conf`	A Gap Analysis Methodology for the Team Software Process. QUATIC Luis Manuel Gonzalez Amaral, João Pascoal Faria
2010	—	`conf`	A Metamodel-Based Approach for Automatic User Interface Generation. MoDELS (1) António Miguel Rosado da Cruz, João Pascoal Faria
2010	Misc	`ed.`	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 QUATIC Fernando Brito e Abreu, João Pascoal Faria, Ricardo Jorge Machado
2009	C	`conf`	Adaptive Object-Modelling: Patterns, Tools and Applications. ICSEA Hugo Sereno Ferreira, Ademar Aguiar, João Pascoal Faria
2009	—	`conf`	Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models. ICSOFT (1) António Miguel Rosado da Cruz, João Pascoal Faria
2008	—	`conf`	Automatic Generation of Interactive Prototypes for Domain Model Validation. ICSOFT (SE/MUSE/GSDCA) António Miguel Rosado da Cruz, João Pascoal Faria
2007	Misc	`conf`	Automatic Generation of User Interfaces from Domain and Use Case Models. QUATIC António Miguel Rosado da Cruz, João Pascoal Faria
2006	—	`conf`	A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament. Electronic Voting João Falcão e Cunha, Mário Jorge Leitão, João Pascoal Faria, Miguel Pimenta Monteiro, Maria Antónia Carravilla
2004	Misc	`conf`	Automated Specification-based Testing of Interactive Components with AsmL. QUATIC Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal
1999	—	`conf`	Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases. SBBD João Pascoal Faria, Raul Moreira Vidal