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

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.

2025

Aligning priorities: A Comparative analysis of scientific and policy perspectives on municipal solid waste management

Authors
Rodrigues, M; Antunes, JA; Migueis, V;

Publication
WASTE MANAGEMENT

Abstract
Municipal solid waste (MSW) management has become a critical issue today, posing substantial economic, environmental, and social challenges. Identifying and analyzing dominant themes in this field is essential for advancing research and policies towards sustainable MSW management practices. This study aims to explore the key issues related to MSW management that have been addressed by both the scientific community and policymakers through funded projects. By doing so, the study seeks to guide the scientific community as a knowledge producer and the EU as a key funder. Two Latent Dirichlet Allocation (LDA) models were applied to analyze the themes from two corpora: one representing scientific literature and another focusing on EU-funded projects. Additionally, this analysis was complemented by a quantitative estimation of the similarity between the two corpora, providing a measure of alignment between the scientific community and policymakers. The results generally indicate that the two spheres are aligned and highlight the diversity of topics explored by the scientific community. Nevertheless, it is concluded that there are opportunities for further research on specific topics, such as leaching and the extraction of heavy metals. Additionally, the popularity of topics identified in European Union-funded projects has fluctuated considerably over time, focusing primarily on waste management rather than its prevention. In light of these findings, waste prevention emerges as a promising avenue for future EU-funded research initiatives.

2025

Describing and Interpreting an Immersive Learning Case with the Immersion Cube and the Immersive Learning Brain

Authors
Beck, D; Morgado, L;

Publication
IMMERSIVE LEARNING RESEARCH NETWORK, ILRN 2024, PT I

Abstract
Current descriptions of immersive learning cases are often difficult or impossible to compare. This is due to a myriad of different options on what details to include, which aspects are relevant, and on the descriptive approaches employed. Also, these aspects often combine very specific details with more general guidelines or indicate intents and rationales without clarifying their implementation. In this paper we provide a method to describe immersive learning cases that is structured to enable comparisons, yet flexible enough to allow researchers and practitioners to decide which aspects to include. This method leverages a taxonomy that classifies educational aspects at three levels (uses, practices, and strategies) and then utilizes two frameworks, the Immersive Learning Brain and the Immersion Cube, to enable a structured description and interpretation of immersive learning cases. The method is then demonstrated on a published immersive learning case on training for wind turbine maintenance using virtual reality. Applying the method results in a structured artifact, the Immersive Learning Case Sheet, that tags the case with its proximal uses, practices, and strategies, and refines the free text case description to ensure that matching details are included. This contribution is thus a case description method in support of future comparative research of immersive learning cases. We then discuss how the resulting description and interpretation can be leveraged to change immersion learning cases, by enriching them (considering low-effort changes or additions) or innovating (exploring more challenging avenues of transformation). The method holds significant promise to support better-grounded research in immersive learning.

2025

Predição da resposta à terapêutica de ressincronização cardíaca utilizando critérios eletrocardiográficos: revisão sistemática

Authors
Costa, PD; Bessa, JP; Pais, MC; Ferreira-Santos, D; Fernando Montenegro, S; Monteiro-Soares, M; Hipólito-Reis, A; Oliveira, MM; Rodrigues, PP;

Publication
Revista Portuguesa de Cardiologia

Abstract

2025

Reducing the resources required by ADAPT-VQE using coupled exchange operators and improved subroutines

Authors
Ramôa, M; Anastasiou, PG; Santos, LP; Mayhall, NJ; Barnes, E; Economou, SE;

Publication
NPJ QUANTUM INFORMATION

Abstract
Adaptive variational quantum algorithms arguably offer the best prospects for quantum advantage in the Noisy Intermediate-Scale Quantum era. Since the inception of the first such algorithm, the Adaptive Derivative-Assembled Problem-Tailored Variational Quantum Eigensolver (ADAPT-VQE), many improvements have appeared in the literature. We combine the key improvements along with a novel operator pool-which we term Coupled Exchange Operator (CEO) pool-to assess the cost of running state-of-the-art ADAPT-VQE on hardware in terms of measurement counts and circuit depth. We show a dramatic reduction of these quantum computational resources compared to the early versions of the algorithm: CNOT count, CNOT depth and measurement costs are reduced by up to 88%, 96% and 99.6%, respectively, for molecules represented by 12 to 14 qubits (LiH, H6 and BeH2). We also find that our state-of-the-art CEO-ADAPT-VQE outperforms the Unitary Coupled Cluster Singles and Doubles ansatz, the most widely used static VQE ansatz, in all relevant metrics, and offers a five order of magnitude decrease in measurement costs as compared to other static ans & auml;tze with competitive CNOT counts.

2025

Code change and smell techniques for regression test selection

Authors
Mori, A; Paiva, ACR; Souza, SRS;

Publication
SOFTWARE QUALITY JOURNAL

Abstract
Regression testing is a selective retesting of a system or component to verify that modifications have not induced unintended effects and that the system or component maintains compliance with the specified requirements. However, it can be time-consuming and resource-intensive, especially for large systems. Regression testing selection techniques can help address this issue by selecting a subset of test cases to run. The Change Based technique selects a subset of the existing test cases and executes modified classes. Besides effectively reducing the test suite, this technique may reduce the capability of revealing faults. From this perspective, code smells are known to identify poor design and software quality issues. Some works have explored the association between smells and faults with some promising results. Inspired by these results, we propose combining code change and smell to select regression tests and present eight techniques. Additionally, we developed the Regression Testing Selection Tool (RTST) to automate the selection process using these techniques. We empirically evaluated the approach in Defects4J projects by comparing the techniques' effectiveness with the Change Based and Class Firewall as a baseline. The results show that the Change and Smell Intersection Based technique achieves the highest reduction rate in the test suite size but with less class coverage. On the other hand, Change and Smell Firewall technique achieves the lowest test suite size reduction with the highest fault detection effectiveness test cases, suggesting the combination of smells and changed classes can potentially find more bugs. The Smell Based technique provides a comparable class coverage to the code change and smell approach. Our findings indicate opportunities for improving the efficiency and effectiveness of regression testing and highlight that software quality should be a concern throughout the software evolution.

  • 161
  • 4312