I only mentioned it briefly at the end of the post, but metamorphic testing is a very interesting technique that addresses exactly this [0].
The basic idea is to start with some known-good inputs and outputs, and then generate ways to modify the input that should not change the output.