Searching protocol for "metamorphic testing"
Generate tests with metamorphic properties
Extract program properties automatically.
Generate tests when you don't know the right answer.
Generate automated test oracles