Automated grading of DFA constructions. (2013)

by R Alur, L D’Antoni, S Gulwani, D Kini, M Viswanathan
Venue:In IJCAI,