Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles. - Christian Murphy; Kuang Shen; Gail E. Kaiser (ICST, 2009)

Automatic system testing of programs without test oracles. - Christian Murphy; Kuang Shen; Gail E. Kaiser (ISSTA, 2009)