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