Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

2025

Designing Mutation Operators for Android Device Components: A View Through Bluetooth and Location API's

Authors
Kuroishi, PH; Paiva, ACR; Maldonado, JC; Rizzo Vincenzi, AM;

Publication
Proceedings of the 39th Brazilian Symposium on Software Engineering, SBES 2025, Recife, Brazil, September 22-26, 2025

Abstract

2025

Decision-Making Framework For AMR Fleet Size In Manufacturing Environments

Authors
Rema C.; Santos R.; Piqueiro H.; Matos D.M.; Oliveirat P.M.; Costa P.; Silva M.F.;

Publication
2025 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC

Abstract
Industry 4.0 is transforming manufacturing environments, with robotics being a key technology that enhances various capabilities. The flexibility of Autonomous Mobile Robots has led to the rise of multi-robot systems in industrial settings. Considering the high cost of these robots, it is essential to determine the best fit of number and type before making any major investments. Simulation and modeling are valuable decision-support tools, allowing the simulation of different setups to address robot fleet sizing issues. This paper introduces a decision-support framework that combines a fleet manager software stack with the FlexSim simulator, helping decision-makers determine the most suitable mobile robots fleet size tailored to their needs. Unlike previous approaches, the developed solution integrates the same real robot coordination software in both simulation and actual deployment, ensuring that tested scenarios accurately reflect real-world conditions. A case study was conducted to evaluate the framework, involving multiple tasks of loading and unloading materials within a warehouse. Five different scenarios with varying fleet sizes were simulated, and their performances assessed. The analysis concluded that, for the case study under consideration, a fleet of three robots was the most suitable, considering relevant key performance indicators. The results confirmed that the developed solution is an effective alternative for addressing the problem and represents a novel technology with no prior state-of-the-art equivalents.

2025

Comparison of selected self-consumption regulatory approaches in Europe

Authors
Moreno, A; Mello, J; Villar, J;

Publication
Heliyon

Abstract
Deploying renewable energy communities, self-consumption and local energy markets are one of the ways to contribute to the energy system decarbonization by increasing the renewable energy share in the production mix and contributing to a better local balancing. However, how collective self-consumption structures are regulated has a direct impact on the flexibility of the energy sharing mechanisms and business models that can be set up. This paper compares and discusses how the European Union directives on self-consumption have been transposed to the national regulations of Portugal, Spain and France, providing a detailed regulatory discussion on the definition of basic concepts such as individual and collective self-consumption and renewable energy communities, proximity rules among members, energy sharing mechanisms and energy allocation coefficients, how the energy surplus is managed in each case, or how the grid access tariffs are modified to account for the self-consumed energy. The study highlights that dynamic allocation coefficients provide significant advantages for collective self-consumption by improving energy allocation efficiency, enabling advanced business models, and facilitating the integration of local energy markets, as it is the case in Portugal and France, while their absence in Spain limits these opportunities. The work also highlights the trade-off between flexible energy sharing and implementation complexity, and the role of digital tools to operationalize energy communities. Suggestions on potential regulatory improvements for all countries are also proposed. © 2025

2025

An Automated Repository for the Efficient Management of Complex Documentation

Authors
Frade, J; Antunes, M;

Publication
INFORMATION

Abstract
The accelerating digitalization of the public and private sectors has made information technologies (IT) indispensable in modern life. As services shift to digital platforms and technologies expand across industries, the complexity of legal, regulatory, and technical requirement documentation is growing rapidly. This increase presents significant challenges in managing, gathering, and analyzing documents, as their dispersion across various repositories and formats hinders accessibility and efficient processing. This paper presents the development of an automated repository designed to streamline the collection, classification, and analysis of cybersecurity-related documents. By harnessing the capabilities of natural language processing (NLP) models-specifically Generative Pre-Trained Transformer (GPT) technologies-the system automates text ingestion, extraction, and summarization, providing users with visual tools and organized insights into large volumes of data. The repository facilitates the efficient management of evolving cybersecurity documentation, addressing issues of accessibility, complexity, and time constraints. This paper explores the potential applications of NLP in cybersecurity documentation management and highlights the advantages of integrating automated repositories equipped with visualization and search tools. By focusing on legal documents and technical guidelines from Portugal and the European Union (EU), this applied research seeks to enhance cybersecurity governance, streamline document retrieval, and deliver actionable insights to professionals. Ultimately, the goal is to develop a scalable, adaptable platform capable of extending beyond cybersecurity to serve other industries that rely on the effective management of complex documentation.

2025

Modelling circular-driven Digital Twins

Authors
Ventura, A; Sousa, C; Pereira, C; Duarte, N; Martins, M; Silva, B;

Publication
Procedia Computer Science

Abstract
In the current era of digital transformation, adopting circular business models that blend circularity principles with advanced digital technologies, is fundamental for sustainable industrial practices. This paper suggests a semantic model for a Digital Twin based on an Asset Administration Shell. It also explores the Digital Product Passport topic since this will be the final goal for the Digital Twin. The Digital Product Passport serves as a complete digital record of the product life cycle to improve traceability and circularity. The Asset Administration Shell provides a standardized digital representation of assets, facilitating interoperability and fluid data exchange. By taking advantage of a Digital Twin, industries can optimize performance and predict product needs. Moreover, it enriches the Digital Product Passport with updated and accurate data, facilitating traceability and efficient product management. The application of semantic models ensures a consistent interpretation of data across all platforms, increasing the reliability of digital interactions and interoperability. This article explains the potential of these technologies to promote a circular economy, focusing in the particular case of the Digital Product Passport. © 2025 The Author(s).

2025

Evaluating the Impact of Scaffolding and Visualizations for Mutation Testing Exercises in Software Engineering Education

Authors
Potter, H; Paiva, ACR; Amalfitano, D; Fasolino, AR; Tramontana, P; Just, R;

Publication
COMPANION PROCEEDINGS OF THE 33RD ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2025

Abstract
Mutation testing is an effective testing technique for improving how well a test suite can detect small changes to a program under test. This testing technique is seeing increased industry adoption. This paper aims to study the use of mutation testing in an educational setting and understand students' technical and conceptual challenges in applying mutation testing concepts. We report on two case studies of incorporating mutation testing into software engineering curricula. The Scaffolding Study explores the impact of using different mutation analysis tools directly or indirectly via a uniform interface provided by an educational infrastructure. We observe that scaffolding (indirect tool use) improved the consistency of student performance for those using the same mutation analysis tool on the same code as well as helping students perform more effective mutation testing. The Visualization Study explores the impact of different forms of output of a mutation analysis tool. Specifically, it assesses to what extent visualizations support students in reasoning about mutants and writing tests to detect them. We observe that like scaffolding, visualizations helped students perform more effective mutation testing, with lower-performing students seeing a boost in particular. We further explore challenges around automatic assessment of mutation testing exercises. For example, we observe that even with assignment scaffolding, 18-21% of student submissions required manual modifications to successfully execute.

  • 20
  • 4375