Searching protocol for "go fmt"
Auto-create hands-on student exercises.
Systematic test design finds more bugs with fewer tests, maximize efficiency.