An Interactive System for Data Structure Development. - Jibin Ou; Martin T. Vechev; Otmar Hilliges (CHI, 2015)