2024
Authors
Guerino, LR; Kuroishi, PH; Paiva, ACR; Vincenzi, AMR;
Publication
23TH BRAZILIAN SYMPOSIUM ON SOFTWARE QUALITY, SBQS 2024
Abstract
Context: Mutation testing is a rigorous approach for assessing the quality of test suites by injecting faults (i.e., mutants) into software under test. Tools, such as CosmicRay and Mutpy, are examples of Mutation Testing tools for Python software programs. Problem: With different Python mutation testing tools, comparative analysis is lacking to evaluate their effectiveness in different usage scenarios. Furthermore, the evolution of these tools makes continuous evaluation of their functionalities and characteristics necessary. Method: In this work, we evaluate (statically and dynamically) four Python mutation testing tools, namely CosmicRay, MutPy, MutMut, and Mutatest. In static evaluation, we introduce a comparison framework, adapted from one previously applied to Java tools, and collected information from tool documentation and developer surveys. For dynamic evaluation, we use tests built based on those produced by Pynguin, which are improved through the application of Large Language Models (LLMs) and manual analyses. Then, the adequate test suites were cross-tested among different tools to evaluate their effectiveness in killing mutants each other. Results: Our findings reveal that CosmicRay offers superior functionalities and customization options for mutant generation compared to its counterparts. Although CosmicRay's performance was slightly lower than MutPy in the dynamic tests, its recent updates and active community support highlight its potential for future enhancements. Cross-examination of the test suites further shows that mutation scores varied narrowly among tools, with a slight emphasis on MutPy as the most effective mutant fault model.
2024
Authors
Ribeiro, R; Moraes, A; Moreno, M; Ferreira, PG;
Publication
MACHINE LEARNING
Abstract
Aging involves complex biological processes leading to the decline of living organisms. As population lifespan increases worldwide, the importance of identifying factors underlying healthy aging has become critical. Integration of multi-modal datasets is a powerful approach for the analysis of complex biological systems, with the potential to uncover novel aging biomarkers. In this study, we leveraged publicly available epigenomic, transcriptomic and telomere length data along with histological images from the Genotype-Tissue Expression project to build tissue-specific regression models for age prediction. Using data from two tissues, lung and ovary, we aimed to compare model performance across data modalities, as well as to assess the improvement resulting from integrating multiple data types. Our results demostrate that methylation outperformed the other data modalities, with a mean absolute error of 3.36 and 4.36 in the test sets for lung and ovary, respectively. These models achieved lower error rates when compared with established state-of-the-art tissue-agnostic methylation models, emphasizing the importance of a tissue-specific approach. Additionally, this work has shown how the application of Hierarchical Image Pyramid Transformers for feature extraction significantly enhances age modeling using histological images. Finally, we evaluated the benefits of integrating multiple data modalities into a single model. Combining methylation data with other data modalities only marginally improved performance likely due to the limited number of available samples. Combining gene expression with histological features yielded more accurate age predictions compared with the individual performance of these data types. Given these results, this study shows how machine learning applications can be extended to/in multi-modal aging research. Code used is available at https://github.com/zroger49/multi_modal_age_prediction.
2024
Authors
Teixeira, I; Baptista, J; Pinto, T;
Publication
Lecture Notes in Networks and Systems
Abstract
In recent years, there has been a significant growth in the use of technologies that rely on natural resources (wind, solar, etc.) as primary sources of energy. The generation originating from renewable sources brings an increased need for adaptation in power electrical systems. Predicting the amount of energy produced by these technologies is a complex task due to the uncertainty associated with natural resources. This uncertainty hinders decision-making, both at the system level and for consumers themselves who are increasingly using this type of technology for self-consumption. This study focuses on classifying solar intensity using imbalanced data, which means that some of the data categories are more prevalent than others. Oversampling techniques are be employed to increase the amount of data, thereby allowing for balanced training data and improving the performance of prediction models. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.
2024
Authors
Bernardes, G; Carvalho, N;
Publication
MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2024
Abstract
We introduce a computational model that quantifies melodic pitch attraction in diatonic modal folk music, extending Lerdahl's Tonal Pitch Space. The model incorporates four melodic pitch indicators: vertical embedding distance, horizontal step distance, semitone interval distance, and relative stability. Its scalability is exclusively achieved through prior mode and tonic information, eliminating the need in existing models for additional chordal context. Noteworthy contributions encompass the incorporation of empirically-driven folk music knowledge and the calculation of indicator weights. Empirical evaluation, spanning Dutch, Irish, and Spanish folk traditions across Ionian, Dorian, Mixolydian, and Aeolian modes, uncovers a robust linear relationship between melodic pitch transitions and the pitch attraction model infused with empirically-derived knowledge. Indicator weights demonstrate cross-tradition generalizability, highlighting the significance of vertical embedding distance and relative stability. In contrast, semitone and horizontal step distances assume residual and null functions, respectively.
2024
Authors
Ribeiro, J; Pinheiro, R; Soares, S; Valente, A; Amorim, V; Filipe, V;
Publication
FLEXIBLE AUTOMATION AND INTELLIGENT MANUFACTURING: ESTABLISHING BRIDGES FOR MORE SUSTAINABLE MANUFACTURING SYSTEMS, FAIM 2023, VOL 2
Abstract
The manual monitoring of refilling stations in industrial environments can lead to inefficiencies and errors, which can impact the overall performance of the production line. In this paper, we present an unsupervised detection pipeline for identifying refilling stations in industrial environments. The proposed pipeline uses a combination of image processing, pattern recognition, and deep learning techniques to detect refilling stations in visual data. We evaluate our method on a set of industrial images, and the findings demonstrate that the pipeline is reliable at detecting refilling stations. Furthermore, the proposed pipeline can automate the monitoring of refilling stations, eliminating the need for manual monitoring and thus improving industrial operations' efficiency and responsiveness. This method is a versatile solution that can be applied to different industrial contexts without the need for labeled data or prior knowledge about the location of refilling stations.
2024
Authors
Silva, M; Paiva, ACR; Mendes, A;
Publication
SOFTWARE QUALITY JOURNAL
Abstract
Software testing plays a fundamental role in software engineering, involving the systematic evaluation of software to identify defects, errors, and vulnerabilities from the early stages of the development process. Education in software testing is essential for students and professionals, as it promotes quality and favours the construction of reliable software solutions. However, motivating students to learn software testing may be a challenge. To overcome this, educators may incorporate some strategies into the teaching and learning process, such as real-world examples, interactive learning, and gamification. Gamification aims to make learning software testing more engaging for students by creating a more enjoyable experience. One approach that has proven effective is to use serious games. This paper presents a novel serious game to teach white-box testing test case design techniques, named GAMFLEW (GAMe For LEarning White-box testing). It describes the design, game mechanics, and its implementation. It also presents a preliminary evaluation experiment with students to assess the usability, learnability, and perceived problems, among other aspects. The results obtained are encouraging.
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.