Metamorphic Fault Tolerance: Addressing the Oracle Problem of Reliability Assurance for Contemporary Software Systems

We present the first comprehensive framework for implementing metamorphic fault tolerance. A key innovation in this framework is the application of risk formulas to evaluate the likelihood of inputs producing trustworthy outputs. Experiments demonstrate its effectiveness, especially without the need of test oracles.