ReSuMo: Regression Mutation Testing for Solidity Smart Contracts. - Morena Barboni; Francesco Casoni; Andrea Morichetta 001; Andrea Polini (QUATIC, 2022)

ReSuMo: a regression strategy and tool for mutation testing of solidity smart contracts. - Morena Barboni; Andrea Morichetta 001; Andrea Polini; Francesco Casoni (Softw. Qual. J., 2024)