Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles.

Christian Murphy, Kuang Shen, Gail E. Kaiser

Browse the full ICST paper archive.