Guidance for the verification and validation of neural networks - Pullum (IEEE Computer Society, 2007)