Developing verification-driven learning cases. - Shengru Tu; Sehun James Oh; Rushikesh Kale; Aditya Kallem; Shireesha Tankashala (ITiCSE, 2010)