Automatic system testing of programs without test oracles
Alloy: a lightweight object modelling notation