Automated Synthesis of Metamorphic Relations from Existing Test Cases

Existing developer-written test cases can embed domain knowledge that encodes metamorphic relations (MRs). MR-Scout automatically discovers and synthesizes these encoded MRs from test cases in open-source software projects to enable automated test case generation.