ReSuMo: Regression Mutation Testing for Solidity Smart Contracts.

Morena Barboni, Francesco Casoni, Andrea Morichetta, Andrea Polini

Browse the full QUATIC paper archive.