2025
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
Authors
Magalhães, SC; Almeida, M; dos Santos, FN; Moreira, AP; Dias, J;
Publication
CoRR
Abstract
2025
Authors
Castelhano, M; Pedrosa, D; Morgado, L; Messias, I;
Publication
Practitioner Proceedings of the 11th International Conference of the Immersive Learning Research Network
Abstract
2025
Authors
Loureiro, C; Gonçalves, L; Leite, P; Gonçalo, PF; Pereira, AI; Colaço, B; Pimenta, SA; McEvoy, F; Ginja, M; Filipe, V;
Publication
Multim. Tools Appl.
Abstract
Radiographic canine hip dysplasia (CHD) diagnosis is crucial for breeding selection and disease management, delaying progression and alleviating the associated pain. Radiography is the primary imaging modality for CHD diagnosis, and visual assessment of radiographic features is sometimes used for accurate diagnosis. Specifically, alterations in femoral neck shape are crucial radiographic signs, with existing literature suggesting that dysplastic hips have a greater femoral neck thickness (FNT). In this study we aimed to develop a three-stage deep learning-based system that can automatically identify and quantify a femoral neck thickness index (FNTi) as a key metric to improve CHD diagnosis. Our system trained a keypoint detection model and a segmentation model to determine landmark and boundary coordinates of the femur and acetabulum, respectively. We then executed a series of mathematical operations to calculate the FNTi. The keypoint detection model achieved a mean absolute error (MAE) of 0.013 during training, while the femur segmentation results achieved a dice score (DS) of 0.978. Our three-stage deep learning-based system achieved an intraclass correlation coefficient of 0.86 (95% confidence interval) and showed no significant differences in paired t-test compared to a specialist (p > 0.05). As far as we know, this is the initial study to thoroughly measure FNTi by applying computer vision and deep learning-based approaches, which can provide reliable support in CHD diagnosis. © The Author(s) 2024.
2025
Authors
Correia, PF; Coelho, A; Ricardo, M;
Publication
2025 JOINT EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS & 6G SUMMIT, EUCNC/6G SUMMIT
Abstract
Integrated Access and Backhaul (IAB) in cellular networks combines access and backhaul within a wireless infrastructure reducing reliance on fibre-based backhaul. This enables flexible and more cost-effective network expansion, especially in hard-to-reach areas. Positioning a mobile IAB node (MIAB) in a seaport environment, in order to ensure on-demand, resilient wireless connectivity, presents unique challenges due to the high density of User Equipments (UEs) and potential shadowing effects caused by obstacles. This paper addresses the problem of positioning MIABs within areas containing UEs, fixed IAB donors (FIABs), and obstacles. Our approach considers user associations and different types of scheduling, ensuring MIABs and FIABs meet the capacity requirements of a special team of served UEs, while not exceeding backhaul capacity. With a Genetic Algorithm solver, we achieve capacity improvement gains, by up to 200% for the 90th percentile, particularly during emergency capacity demands.
2025
Authors
Velo, HR; Bernardes, G; Ladra, S; Paramá, JR; Coira, FS;
Publication
ISMIR
Abstract
This study introduces and evaluates a new methodology for cross-cultural ethnomusicological analysis of symbolic music. We investigate music similarity in popular traditions rooted in oral transmission by identifying shared patterns at scale across multiple hierarchies. The novelty of our approach lies in expanding musical similarity phyloanalysis-typically adopting alignment metrics that compare entire scores-to structurally aware phrases and macrostructure (i.e., form) alignment. Additionally, we explore patterns derived from multiple representations (chromatic interval, diatonic interval, rhythmic ratios, and a combination of them) to facilitate the exploration of stylistic affinities across musical genres and traditions. Our method is tested on a new dataset of 600 Galician and Irish popular music scores, which includes expert annotations for 21 genres (four shared between the two traditions) and detailed phrase information, all made available as open-access data. We use the genre separation ratio to examine how alignment strategies capture stylistic structure, providing insights that support musicological exploration across genres and traditions. The resulting phylogenetic trees and distance matrices reveal relationships among traditions, genres, and scores, facilitating the exploration of cross-cultural influences and enabling the identification of shared patterns at multiple hierarchies.
The access to the final selection minute is only available to applicants.
Please check the confirmation e-mail of your application to obtain the access code.