Bruno Lima
Bruno Lima
Researcher at INESC TEC and Assistant Lecturer at FEUP
Verified email at fe.up.pt - Homepage
Title
Cited by
Cited by
Year
A Testing and Certification Methodology for an Open Ambient-Assisted Living Ecosystem
JP Faria, B Lima, TB Sousa, A Martins
International Journal of E-Health and Medical Communications (IJEHMC) 5 (4 …, 2014
15*2014
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice
B Lima, JP Faria
Communications in Computer and Information Science - Software Technologies …, 2017
112017
Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems
B Lima, JP Faria
Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE …, 2017
72017
Test patterns for IoT
PM Pontes, B Lima, JP Faria
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018
62018
Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
BLJPF Joćo Soares
6th International Conference on Model-Driven Engineering and Software …, 2018
6*2018
Izinto: a pattern-based IoT testing framework
PM Pontes, B Lima, JP Faria
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018
52018
Conformance Checking in Integration Testing of Time-Constrained Distributed Systems Based on Uml Sequence Diagrams
B Lima, J Faria
Proceedings of the 12th International Conference on Software Technologies …, 2017
32017
A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
B Lima, J Pascoal
Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE …, 2016
32016
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
B Lima, JP Faria
Software Technologies, 380-396, 2016
32016
An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
B Lima, JP Faria
10th International Conference on Software Engineering and Applications, 241-250, 2015
32015
Towards Real-Time Patient Prioritization in Hospital Emergency Services
BLJP Faria
IEEE International Conference on E-health Networking, Application & Services …, 2018
2*2018
MT4A: a no-programming test automation framework for Android applications
T Coelho, B Lima, JP Faria
Proceedings of the 7th International Workshop on Automating Test Case Design …, 2016
22016
Towards the Online Testing of Distributed and Heterogeneous Systems with Extended Petri Nets
B Lima, JP Faria
Quality of Information and Communications Technology (QUATIC), 2016 10th …, 2016
22016
Testing Distributed and Heterogeneous Systems: State of the Practice
BLJP Faria
11th International Joint Conference on Software Technologies 1 (ICSOFT-EA …, 2016
2*2016
Local Observability and Controllability Enforcement in Distributed Testing
B Lima, JP Faria, R Hierons
International Conference on the Quality of Information and Communications …, 2019
12019
Automated scenario-based integration testing of distributed systems
B Lima
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
12018
Automated Scenario-Based Testing of Distributed and Heterogeneous Systems.
B Lima
ICST, 383-384, 2016
12016
Visual Self-healing Modelling for Reliable Internet-of-Things Systems
JP Dias, B Lima, JP Faria, A Restivo, HS Ferreira
International Conference on Computational Science, 357-370, 2020
2020
DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
B Lima, JP Faria
arXiv preprint arXiv:2004.04616, 2020
2020
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
B Lima
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20