Skip to content

Mutant Accuracy Testing for Assessing the Implementation of Numerical Algorithms.

Ruining (Ray) Wu, Ian M. Mitchell

VenueA*CAV
Year2019
ProceedingsNSV@CAV

Browse the full CAV paper archive.