Efficient mutation testing via pre-trained language models

A Khanfir, R Degiovanni, M Papadakis… - arxiv preprint arxiv …, 2023 - arxiv.org
Mutation testing is an established fault-based testing technique. It operates by seeding faults
into the programs under test and asking developers to write tests that reveal these faults …

SuMo: A mutation testing approach and tool for the Ethereum blockchain

M Barboni, A Morichetta, A Polini - Journal of Systems and Software, 2022 - Elsevier
Blockchain technologies have had a rather disruptive impact on many sectors of the
contemporary society. The establishment of virtual currencies is probably the most …

On the use of commit-relevant mutants

M Ojdanić, W Ma, T Laurent, TT Chekam… - Empirical Software …, 2022 - Springer
Applying mutation testing to test subtle program changes, such as program patches or other
small-scale code modifications, requires using mutants that capture the delta of the altered …

Mutation testing in evolving systems: Studying the relevance of mutants to code evolution

M Ojdanic, E Soremekun, R Degiovanni… - ACM Transactions on …, 2023 - dl.acm.org
Context: When software evolves, opportunities for introducing faults appear. Therefore, it is
important to test the evolved program behaviors during each evolution cycle. However, while …

Mudelta: Delta-oriented mutation testing at commit time

W Ma, TT Chekam, M Papadakis… - 2021 IEEE/ACM 43rd …, 2021 - ieeexplore.ieee.org
To effectively test program changes using mutation testing, one needs to use mutants that
are relevant to the altered program behaviours. In view of this, we introduce MuDelta, an …

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts

M Barboni, A Morichetta, A Polini, F Casoni - Software Quality Journal, 2024 - Springer
Mutation testing is a powerful test adequacy assessment technique that can guarantee the
deployment of deeply scrutinized and more reliable Smart Contract code. However …

Faster mutation analysis with fewer processes and smaller overheads

B Wang, S Lu, Y **ong, F Liu - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Mutation analysis is a powerful dynamic approach that has many applications, such as
measuring the quality of test suites or automatically locating faults. However, the inherent …

Resumo: Regression mutation testing for solidity smart contracts

M Barboni, F Casoni, A Morichetta, A Polini - International Conference on …, 2022 - Springer
Mutation testing is a powerful test adequacy assessment technique that can guarantee the
deployment of more reliable Smart Contract code. Developers add new features, fix bugs …

Shaken, Not Stirred. How Developers Like Their Amplified Tests

C Brandt, A Khatami, M Wessel… - IEEE Transactions on …, 2024 - ieeexplore.ieee.org
Test amplification makes systematic changes to existing, manually written tests to provide
tests complementary to an automated test suite. We consider developer-centric test …

Mutation Testing in Practice: Insights from Open-Source Software Developers

AB Sánchez, JA Parejo, S Segura… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Mutation testing drives the creation and improvement of test cases by evaluating their ability
to identify synthetic faults. Over the past decades, the technique has gained popularity in …