Work

Model Assisted Refinement of Metamorphic Relations for Scientific Software