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

This publication has 28 references indexed in Scilit:

• STARTS: STAtic regression test selection
  2017
• Relating Code Coverage, Mutation Score and Test Suite Reducibility to Defect Density
  2016
• Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
  2015
• Ekstazi: Lightweight Test Selection
  2015
• Coverage is not strongly correlated with test suite effectiveness
  2014
• Towards Incremental Mutation Testing
  Electronic Notes in Theoretical Computer Science, 2013
• Localizing failure-inducing program edits based on spectrum information
  2011
• Guidelines for conducting and reporting case study research in software engineering
  Empirical Software Engineering, 2008
• Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
  IEEE Transactions on Software Engineering, 2006
• All-uses vs mutation testing: An experimental comparison of effectiveness
  Journal of Systems and Software, 1997