Darken, C. Level Annotation and Test by Autonomous Exploration: Abbreviated Version. AIIDE 2007, 3, 77-79.