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

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

2018

Test patterns for IoT

Authors
Pontes, PM; Lima, B; Faria, JP;

Publication
Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation - A-TEST 2018

Abstract

2018

Izinto: a pattern-based IoT testing framework

Authors
Pontes, PM; Lima, B; Faria, JP;

Publication
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018

Abstract
The emergence of Internet of Things (IoT) technology is expected to offer new promising solutions in various domains and, consequently, impact many aspects of everyday life. However, the development and testing of software applications and services for IoT systems encompasses several challenges that existing solutions have not yet properly addressed. Particularly, the difficulty to test IoT systems-due to their heterogeneous and distributed nature-, and the importance of testing in the development process give rise to the need for an efficient way to implement automated testing in IoT. Although there are already several tools that can be used in the testing of IoT systems, a number of issues can be pointed out, such as focusing on a specific platform, language, or standard, limiting the possibility of improvement or extension, and not providing out-of-The-box functionalities. This paper describes Izinto, a pattern-based test automation framework for integration testing of IoT systems. The framework implements in a generic way a set of test patterns specific to the IoT domain which can be easily instantiated for concrete IoT scenarios. It was validated in a number of test cases, within a concrete application scenario in the domain of Ambient Assisted Living (AAL). © 2018 ACM.

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