ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts[J] SOFTWARE QUALITY JOURNAL 2023 Barboni, Morena Morichetta, Andrea Polini, Andrea Casoni, Francesco
