Automating image segmentation verification and validation by learning test oracles
Automatic system testing of programs without test oracles