Model Assisted Refinement of Metamorphic Relations for Scientific Software.

Clay Stevens, Katherine Kjeer, Ryan M. Richard, Edward F. Valeev, Myra B. Cohen

Browse the full ICSE paper archive.