A trace-based framework for analyzing and synthesizing educational progressions
pex - white box test generation for . net .