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

Christian Murphy, Kuang Shen & Gail E. Kaiser
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learning applications. In the absence of a test oracle, one approach to testing these applications is to use metamorphic testing: existing test case input is modified to produce new test cases in such a manner that, when given the new input, the application should produce an output that...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.