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

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

By in Talks on .

Presented by Chris Murphy at the Second IEEE International Conference on Software Testing, Verification and Validation (ICST) on April 3, 2009

Download this talk