Automated Grading of DFA Constructions.

Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan

Browse the full IJCAI paper archive.