Verifying and validating machine intelligence - Andrew Moore