Generating DFA Construction Problems Automatically. - Varun Shenoy; Ullas Aparanji; K. Sripradha; Viraj Kumar (LaTiCE, 2016)