Code hunt: gamifying teaching and learning of computer science at scale
pex - white box test generation for . net .