Bruno Lima
Bruno Lima
Researcher at INESC TEC and Assistant Professor 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
17*2014
Test patterns for IoT
PM Pontes, B Lima, JP Faria
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST†…, 2018
142018
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
132020
Izinto: a pattern-based IoT testing framework
PM Pontes, B Lima, JP Faria
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 125-131, 2018
122018
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
12*2018
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
122017
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
92017
Towards Real-Time Patient Prioritization in Hospital Emergency Services
BLJP Faria
IEEE International Conference on E-health Networking, Application & Services†…, 2018
8*2018
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
72015
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
42017
Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams
B Lima, JP Faria
Software Technologies, 380-396, 2016
42016
Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems
B Lima
2019 12th IEEE Conference on Software Testing, Validation and Verification†…, 2019
32019
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 scenario-based integration testing of distributed systems
B Lima
Proceedings of the 2018 26th ACM Joint Meeting on European Software†…, 2018
22018
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
DCO Analyzer: Local controllability and observability analysis and enforcement of distributed test scenarios
B Lima, JP Faria
2020 IEEE/ACM 42nd International Conference on Software Engineering†…, 2020
12020
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 Testing of Distributed and Heterogeneous Systems.
B Lima
ICST, 383-384, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20