Cookies Policy
We use cookies to improve our site and your experience. By continuing to browse our site you accept our cookie policy. Find out More
Close
  • Menu
About

About

My name is Bruno Lima, I have been a collaborator of INESC TEC since September 2013, when, during my master's dissertation, I joined the AAL4ALL project.

Currently I am a PhD student in the Doctoral Program in Informatics Engineering (PRODEI) at FEUP where I am also a Assistant Lecturer at the Department of Informatics Engineering. I am also part of the research team of the Centre for Information Systems and Computer Graphics (CSIG) at INESC TEC where I participate in research projects in the area of software engineering, more specifically in software testing.

To know more about me visit my personal page here.

Interest
Topics
Details

Details

  • Name

    Bruno Carvalhido Lima
  • Cluster

    Computer Science
  • Role

    Research Assistant
  • Since

    01st September 2013
001
Publications

2019

Automated Scenario-Based Integration Testing of Time-Constrained Distributed Systems

Authors
Lima, B;

Publication
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019)

Abstract
In a growing number of domains, such as IoT for e-health and smart cities, the provisioning of end-to-end services to the users depends on the proper interoperation of multiple systems, forming a new distributed system, often subject to timing constraints. To ensure interoperability and integrity, it is important to conduct integration tests that verify the interactions with the environment and between the system components in key scenarios. To solve the test automation challenges, we propose algorithms for decentralized conformance checking and test input generation, and for checking and enforcing the conditions (local observability and controllability) that allow decentralized test execution. With this, we expect to improve the fault detection and localization capabilities and reduce the communication overhead comparatively to other model-based testing approaches. Our approach will be validated using real case studies from industrial partners.

2019

Local Observability and Controllability Enforcement in Distributed Testing

Authors
Lima, B; Faria, JP; Hierons, R;

Publication
Communications in Computer and Information Science - Quality of Information and Communications Technology

Abstract

2018

Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets

Authors
Custódio Soares, JA; Lima, B; Faria, JP;

Publication
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018.

Abstract

2018

Automated scenario-based integration testing of distributed systems

Authors
Lima, B;

Publication
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018

Abstract

2018

Towards Real-Time Patient Prioritization in Hospital Emergency Services

Authors
Lima, B; Faria, JP;

Publication
2018 IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom)

Abstract

Supervised
thesis

2018

A Methodology for Designing Mobile Ticketing Services: from Ideas to Deployment

Author
Marta Maria Campos Ferreira

Institution
UP-FEUP

2017

Avaliação Automática de Programas em Contexto de E-learning

Author
José Alberto de Carvalho Cardoso

Institution
UP-FEUP

2016

Automação de testes de aplicações móveis sem necessidade de programação

Author
Tiago Fernando Sousa Coelho

Institution
UP-FEUP