Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Sobre

Sobre

O meu nome é Bruno Lima, sou colaborador do INESC TEC desde setembro de 2013 quando, no decorrer da minha dissertação de mestrado ingressei no projeto AAL4ALL

Atualmente sou estudante de doutoramento no Programa Doutoral em Engenharia Informática (PRODEI) na FEUP onde também sou professor Assistente Convidado no departamento de engenharia informática (DEI). Faço também parte da equipa de investigação do Centro de Sistemas de Informação e de Computação Gráfica (CSIG) no INESC TEC onde participo em projetos de investigação na área da engenharia de software mais concretamente em teste de software.  

Para saber mais sobre mim visite a minha página pessoal aqui.

Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Bruno Carvalhido Lima
  • Cargo

    Investigador Colaborador Externo
  • Desde

    01 setembro 2013
Publicações

2025

Current Challenges and Future Perspectives in Testing IoT Systems: A Comprehensive Review

Autores
Bruno Lima; Rui Pinto;

Publicação
IEEE Sensors Reviews

Abstract

2025

Acceptance Test Generation with Large Language Models: An Industrial Case Study

Autores
Ferreira, M; Viegas, L; Faria, JP; Lima, B;

Publicação
2025 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATION OF SOFTWARE TEST, AST

Abstract
Large language model (LLM)-powered assistants are increasingly used for generating program code and unit tests, but their application in acceptance testing remains underexplored. To help address this gap, this paper explores the use of LLMs for generating executable acceptance tests for web applications through a two-step process: (i) generating acceptance test scenarios in natural language (in Gherkin) from user stories, and (ii) converting these scenarios into executable test scripts (in Cypress), knowing the HTML code of the pages under test. This two-step approach supports acceptance test-driven development, enhances tester control, and improves test quality. The two steps were implemented in the AutoUAT and Test Flow tools, respectively, powered by GPT-4 Turbo, and integrated into a partner company's workflow and evaluated on real-world projects. The users found the acceptance test scenarios generated by AutoUAT helpful 95% of the time, even revealing previously overlooked cases. Regarding Test Flow, 92% of the acceptance test cases generated by Test Flow were considered helpful: 60% were usable as generated, 8% required minor fixes, and 24% needed to be regenerated with additional inputs; the remaining 8% were discarded due to major issues. These results suggest that LLMs can, in fact, help improve the acceptance test process, with appropriate tooling and supervision.

2025

Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study

Autores
Fonseca, PL; Lima, B; Faria, JP;

Publicação
2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE

Abstract
Mobile acceptance testing remains a bottleneck in modern software development, particularly for cross-platform mobile development using frameworks like Flutter. While developers increasingly rely on automated testing tools, creating and maintaining acceptance test artifacts still demands significant manual effort. To help tackle this issue, we introduce AToMIC, an automated framework leveraging specialized Large Language Models to generate Gherkin scenarios, Page Objects, and executable UI test scripts directly from requirements (JIRA tickets) and recent code changes. Applied to BMW's MyBMW app, covering 13 real-world issues in a 170+ screen codebase, AToMIC produced executable test artifacts in under five minutes per feature on standard hardware. The generated artifacts were of high quality: 93.3% of Gherkin scenarios were syntactically correct upon generation, 78.8% of PageObjects ran without manual edits, and 100% of generated UI tests executed successfully. In a survey, all practitioners reported time savings (often a full developer-day per feature) and strong confidence in adopting the approach. These results confirm AToMIC as a scalable, practical solution for streamlining acceptance test creation and maintenance in industrial mobile projects.

2024

PlayField: An Adaptable Framework for Integrative Sports Data Analysis

Autores
Pinto, F; Lima, B;

Publicação
2024 IEEE/ACM INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING, APPLICATIONS AND TECHNOLOGIES, BDCAT

Abstract
As sports analytics evolve to include a broad spectrum of data from diverse sources, the challenge of integrating heterogeneous data becomes pronounced. Current methods struggle with flexibility and rapid adaptation to new data formats, risking data integrity and accuracy. This paper introduces PlayField, a framework designed to robustly handle diverse sports data through adaptable configuration and an automated API. PlayField ensures precise data integration and supports manual interventions for data integrity, making it essential for accurate and comprehensive sports analysis. A case study with ZeroZero demonstrates the framework's capability to improve data integration efficiency significantly, showcasing its potential for advanced analytics in sports.

2023

Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device

Autores
Farshid, S; Lima, B; Faria, JP;

Publicação
ICSOFT

Abstract