Publications
2024
PlayField: An Adaptable Framework for Integrative Sports Data Analysis
Filipe Pinto and Bruno Lima
2023
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
Sadra Farshid, Bruno Lima and João Pascoal Faria
Automatic Test-Based Assessment of Assembly Programs
Luís Tavares, Bruno Lima and António J. Araújo
eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture
Maria Inês Alves, António Duarte Araújo and Bruno Lima
2022
A pattern-based test platform for families of smart health products
Pedro Almeida, João Pascoal Faria and Bruno Lima
2021
AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
João Damas, Bruno Lima and António J. Araújo
The students' integration in pandemic times: MIEIC.OnBoard 2020/2021
Bruno Lima and António J. Araújo
Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course
Bruno Lima, Daniel Granhão, António J. Araújo and João C. Ferreira
2020
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
Bruno Lima, João Pascoal Faria and Robert Hierons
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima and João Pascoal Faria
42nd International Conference on Software Engineering (ICSE 2020)
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo and Hugo Sereno Ferreira
International Conference on Computational Science (ICCS 2020)
2019
Local Observability and Controllability Enforcement in Distributed Testing
Bruno Lima, João Pascoal Faria and Robert Hierons
12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019)
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
Bruno Lima
12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
2018
Automated Scenario-Based Integration Testing of Distributed Systems
Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)
Towards Real-Time Patient Prioritizationin Hospital Emergency Services
Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)
Izinto: A Pattern-Based IoT Testing Framework
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017
2016
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
PlayField: An Adaptable Framework for Integrative Sports Data Analysis
Filipe Pinto and Bruno Lima
Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
Sadra Farshid, Bruno Lima and João Pascoal Faria
Automatic Test-Based Assessment of Assembly Programs
Luís Tavares, Bruno Lima and António J. Araújo
eduARM: Web Platform to Support the Teaching and Learning of the ARM Architecture
Maria Inês Alves, António Duarte Araújo and Bruno Lima
2022
A pattern-based test platform for families of smart health products
Pedro Almeida, João Pascoal Faria and Bruno Lima
2021
AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
João Damas, Bruno Lima and António J. Araújo
The students' integration in pandemic times: MIEIC.OnBoard 2020/2021
Bruno Lima and António J. Araújo
Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course
Bruno Lima, Daniel Granhão, António J. Araújo and João C. Ferreira
2020
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
Bruno Lima, João Pascoal Faria and Robert Hierons
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima and João Pascoal Faria
42nd International Conference on Software Engineering (ICSE 2020)
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo and Hugo Sereno Ferreira
International Conference on Computational Science (ICCS 2020)
2019
Local Observability and Controllability Enforcement in Distributed Testing
Bruno Lima, João Pascoal Faria and Robert Hierons
12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019)
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
Bruno Lima
12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
2018
Automated Scenario-Based Integration Testing of Distributed Systems
Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)
Towards Real-Time Patient Prioritizationin Hospital Emergency Services
Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)
Izinto: A Pattern-Based IoT Testing Framework
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017
2016
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
A pattern-based test platform for families of smart health products
Pedro Almeida, João Pascoal Faria and Bruno Lima
AOCO - A Tool to Improve the Teaching of the ARM Assembly Language in Higher Education
João Damas, Bruno Lima and António J. Araújo
The students' integration in pandemic times: MIEIC.OnBoard 2020/2021
Bruno Lima and António J. Araújo
Pedagogical Innovation in Pandemic Times: The Experience of a Microprocessor Programming Course
Bruno Lima, Daniel Granhão, António J. Araújo and João C. Ferreira
2020
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
Bruno Lima, João Pascoal Faria and Robert Hierons
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima and João Pascoal Faria
42nd International Conference on Software Engineering (ICSE 2020)
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo and Hugo Sereno Ferreira
International Conference on Computational Science (ICCS 2020)
2019
Local Observability and Controllability Enforcement in Distributed Testing
Bruno Lima, João Pascoal Faria and Robert Hierons
12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019)
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
Bruno Lima
12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
2018
Automated Scenario-Based Integration Testing of Distributed Systems
Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)
Towards Real-Time Patient Prioritizationin Hospital Emergency Services
Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)
Izinto: A Pattern-Based IoT Testing Framework
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017
2016
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
Bruno Lima, João Pascoal Faria and Robert Hierons
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
Bruno Lima and João Pascoal Faria
42nd International Conference on Software Engineering (ICSE 2020)
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
João Pedro Dias, Bruno Lima, João Pascoal Faria, André Restivo and Hugo Sereno Ferreira
International Conference on Computational Science (ICCS 2020)
Local Observability and Controllability Enforcement in Distributed Testing
Bruno Lima, João Pascoal Faria and Robert Hierons
12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019)
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
Bruno Lima
12th IEEE International Conference on Software Testing, Verification and Validation (ICST 2019)
2018
Automated Scenario-Based Integration Testing of Distributed Systems
Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)
Towards Real-Time Patient Prioritizationin Hospital Emergency Services
Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)
Izinto: A Pattern-Based IoT Testing Framework
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
2017
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017
2016
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
Automated Scenario-Based Integration Testing of Distributed Systems
Bruno Lima
26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Test Patterns for IoT
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation (A-TEST 2018)
Towards Real-Time Patient Prioritizationin Hospital Emergency Services
Bruno Lima and João Pascoal Faria
IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom 2018)
Izinto: A Pattern-Based IoT Testing Framework
Pedro Martins Pontes, Bruno Lima and João Pascoal Faria
Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2018)
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
João Soares, Bruno Lima and João Pascoal Faria
6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018)
Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
12th International Joint Conference on Software Technologies (ICSOFT) 2017
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 743 of the series Communications in Computer and Information Science
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
Bruno Lima and João Pascoal Faria
IEEE 10th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017
2016
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
2015
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
MT4A: a no-programming test automation framework for Android applications
Tiago Coelho, Bruno Lima and João Pascoal Faria
7th International Workshop on Automating Test Case Design, Selection, and Evaluation
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
Bruno Lima and João Pascoal Faria
10th International Conference on the Quality of Information and Communications Technology (QUATIC) 2016
Testing Distributed and Heterogeneous Systems: State of the Practice
Bruno Lima and João Pascoal Faria
11th International Joint Conference on Software Technologies (ICSOFT) 2016
Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima
IEEE 9th International Conference on Software Testing, Verification and Validation (ICST) 2016
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
Bruno Lima and João Pascoal Faria
IEEE 9th International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
Bruno Lima and João Pascoal Faria
Chapter Software Technologies Volume 586 of the series Communications in Computer and Information Science
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
Bruno Lima and João Pascoal Faria
10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015)
2014
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
2013
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
International Journal of E-Health and Medical Communications (IJEHMC)
A Testing and Certification Methodology for an Ambient-Assisted Living Ecosystem
João Pascoal Faria and Bruno Lima and Tiago Boldt Sousa and Angelo Martins
IEEE International Conference on e-Health Networking, Application & Services (IEEE Healthcom 2013)