Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan. Automated Grading of DFA Constructions. In Francesca Rossi, editor, IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013. pages 1976-1982, IJCAI/AAAI, 2013. [doi]
Abstract is missing.