How Can Automatic Feedback Help Students Construct Automata?
A trace-based framework for analyzing and synthesizing educational progressions