Novelty-Driven Verification: Using Machine Learning to Identify Novel Stimuli and Close Coverage Author(s): Tim Blackmore, Rhys Hodson, Sebastian Schaal Download