João Pascoal Faria

Orcid: 0000-0003-3825-3954

Affiliations:
  • INESC TEC, Porto, Portugal


According to our database1, João Pascoal Faria authored at least 63 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023).
ACM SIGSOFT Softw. Eng. Notes, April, 2024

APITestGenie: Automated API Test Generation through Generative AI.
CoRR, 2024

2023
Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects.
IEEE Access, 2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device.
Proceedings of the 18th International Conference on Software Technologies, 2023

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment.
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022
A Pattern-Based Test Platform for Families of Smart Health Products.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2021
An Analysis of the State of the Art of Machine Learning for Risk Assessment in Software Projects (S).
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

An analysis of Monte Carlo simulations for forecasting software projects.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Applying Machine Learning to Risk Assessment in Software Projects.
Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

2020
The ProcessPAIR Method for Automated Software Process Performance Analysis.
IEEE Access, 2020

Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints.
IEEE Access, 2020

DCO analyzer: local controllability and observability analysis and enforcement of distributed test scenarios.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

Visual Self-healing Modelling for Reliable Internet-of-Things Systems.
Proceedings of the Computational Science - ICCS 2020, 2020

A living lab for professional skills development in Software Engineering Management at U.Porto.
Proceedings of the 2020 IEEE Global Engineering Education Conference, 2020

2019
Assisting software engineering students in analyzing their performance in software development.
Softw. Qual. J., 2019

Automatic Calibration of Performance Indicators for Performance Analysis in Software Development (S).
Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Local Observability and Controllability Enforcement in Distributed Testing.
Proceedings of the Quality of Information and Communications Technology, 2019

2018
A Survey of Blockchain Frameworks and Applications.
Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, 2018

Test patterns for IoT.
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2018

A Reactive and Model-Based Approach for Developing Internet-of-Things Systems.
Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

<i>Izinto</i>: a pattern-based IoT testing framework.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Towards Real-Time Patient Prioritization in Hospital Emergency Services.
Proceedings of the 20th IEEE International Conference on e-Health Networking, 2018

End-to-end Automatic Business Process Validation.
Proceedings of the 9th International Conference on Ambient Systems, 2018

2017
WebProcessPAIR: recommendation system for software process improvement.
Proceedings of the 2017 International Conference on Software and System Process, 2017

Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams.
Proceedings of the 12th International Conference on Software Technologies, 2017

Helping software engineering students analyzing their performance data: tool support in an educational environment.
Proceedings of the 39th International Conference on Software Engineering, 2017

2016
A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets.
Int. J. Softw. Tools Technol. Transf., 2016

A model for analyzing performance problems and root causes in the personal software process.
J. Softw. Evol. Process., 2016

MT4A: a no-programming test automation framework for Android applications.
Proceedings of the 7th International Workshop on Automating Test Case Design, 2016

Empirical Evaluation of the ProcessPAIR Tool for Automated Performance Analysis.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

ProcessPAIR: a tool for automated performance analysis and improvement recommendation in software development.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

A Model-Based Approach for Product Testing and Certification in Digital Ecosystems.
Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

Testing Distributed and Heterogeneous Systems: State of the Practice.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

2015
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams.
Proceedings of the Software Technologies - 10th International Joint Conference, 2015

An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems.
Proceedings of the ICSOFT-EA 2015, 2015

2014
Introduction to Special Issue: Quality in Information and Communications Technology.
Innov. Syst. Softw. Eng., 2014

A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem.
Int. J. E Health Medical Commun., 2014

Automated Pattern-Based Testing of Mobile Applications.
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

Foreword of the 5th Portuguese Software Engineering Doctoral Symposium (SEDES'2014).
Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development.
Proceedings of the Product-Focused Software Process Improvement, 2014

A model for analyzing estimation, productivity, and quality performance in the personal software process.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

Inferring User Interface Patterns from Execution Traces of Web Applications.
Proceedings of the Computational Science and Its Applications - ICCSA 2014 - 14th International Conference, Guimarães, Portugal, June 30, 2014

2013
Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012).
ACM SIGSOFT Softw. Eng. Notes, 2013

Techniques and Toolset for Conformance Testing against UML Sequence Diagrams.
Proceedings of the Testing Software and Systems, 2013

A testing and certification methodology for an Ambient-Assisted Living ecosystem.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2012
Test Generation from UML Sequence Diagrams.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

PSP PAIR: Automated Personal Software Process Performance Analysis and Improvement Recommendation.
Proceedings of the 8th International Conference on the Quality of Information and Communications Technology, 2012

Towards a Framework to Evaluate and Improve the Quality of Implementation of CMMI® Practices.
Proceedings of the Product-Focused Software Process Improvement, 2012

Specification-Driven Unit Test Generation for Java Generic Classes.
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

GUI reverse engineering with machine learning.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

2011
Test Generation from Bounded Algebraic Specifications using Alloy.
Proceedings of the ICSOFT 2011, 2011

2010
A Gap Analysis Methodology for the Team Software Process.
Proceedings of the Quality of Information and Communications Technology, 2010

A Metamodel-Based Approach for Automatic User Interface Generation.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

2009
Automatic Generation of user Interface Models and Prototypes from Domain and Use Case Models.
Proceedings of the ICSOFT 2009, 2009

Adaptive Object-Modelling: Patterns, Tools and Applications.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008
Automatic Generation of Interactive Prototypes for Domain Model Validation.
Proceedings of the ICSOFT 2008, 2008

2007
Automatic Generation of User Interfaces from Domain and Use Case Models.
Proceedings of the Quality of Information and Communications Technology, 2007

2006
A Methodology for Auditing e-Voting Processes and Systems used at the Elections for the Portuguese Parliament.
Proceedings of the Electronic Voting 2006: 2nd International Workshop, 2006

2004
Automated Specification-based Testing of Interactive Components with AsmL.
Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, 2004

1999
Data-driven Active Rules for the Maintenance of Derived Data and Integrity Constraints in User Interfaces to Databases.
Proceedings of the XIV Simpósio Brasileiro de Banco de Dados, 1999


  Loading...