Novelty-Driven Verification: Using Machine Learning to Identify Novel Stimuli and Close Coverage

Author(s):
Tim Blackmore, Rhys Hodson, Sebastian Schaal