Metamorphic Testing

Two, we need a way to know make them into useful tests without spending hours manually transcribing the speech into oracles. While this article was about Metamorphic Testing, researchers have also been applying Metamorphic Relationships in general to a wide variety of other disciplines, such as formal verification and debugging. In fact the first example in the Quickcheck tests a MR, and this essay on PBT implicitly uses an MR. In general it seems to me that most PBT research focuses on how we effectively generate and shrink inputs, while MT research is more focused on determining what we actually want to test.

Source: www.hillelwayne.com