software testing; fault-detection; metamorphic relations; test oracle; software analysis