Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms. - Ruining (Ray) Wu; Ian M. Mitchell (NSV@CAV, 2019)