Mutation testing advances: an analysis and survey

M Papadakis, M Kintis, J Zhang, Y Jia, Y Le Traon… - Advances in …, 2019 - Elsevier
Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Are mutation scores correlated with real fault detection? a large scale empirical study on the relationship between mutants and real faults

M Papadakis, D Shin, S Yoo, DH Bae - Proceedings of the 40th …, 2018 - dl.acm.org
Empirical validation of software testing studies is increasingly relying on mutants. This
practice is motivated by the strong correlation between mutant scores and real fault …

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 …

Instance space analysis of search-based software testing

N Neelofar, K Smith-Miles, MA Muñoz… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Search-based software testing (SBST) is now a mature area, with numerous techniques
developed to tackle the challenging task of software testing. SBST techniques have shown …

On the effectiveness of unit tests in test-driven development

A Tosun, M Ahmed, B Turhan, N Juristo - Proceedings of the 2018 …, 2018 - dl.acm.org
Background: Writing unit tests is one of the primary activities in test-driven development. Yet,
the existing reviews report few evidence supporting or refuting the effect of this development …

Sumo: A mutation testing strategy for solidity smart contracts

M Barboni, A Morichetta, A Polini - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
Smart Contracts are software programs that are deployed and executed within a blockchain
infrastructure. Due to their immutable nature, directly resulting from the specific …

Mutation testing of smart contracts at scale

P Hartel, R Schumi - International conference on tests and proofs, 2020 - Springer
It is crucial that smart contracts are tested thoroughly due to their immutable nature. Even
small bugs in smart contracts can lead to huge monetary losses. However, testing is not …

Transformed k-nearest neighborhood output distance minimization for predicting the defect density of software projects

C López-Martín, Y Villuendas-Rey, M Azzeh… - Journal of Systems and …, 2020 - Elsevier
Background Software defect prediction is one of the most important research topics in
software engineering. An important product measure to determine the effectiveness of …

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 …

Mutation coverage is not strongly correlated with mutation coverage

S AlBlwi, A Ayad, A Mili - Proceedings of the 5th ACM/IEEE International …, 2024 - dl.acm.org
Several metrics have been proposed in the past to quantify the effectiveness of a test suite;
they are usually types of coverage metrics, because it is sensible to quantify the …