{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T09:12:11Z","timestamp":1759741931645},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/ic3.2014.6897141","type":"proceedings-article","created":{"date-parts":[[2014,9,26]],"date-time":"2014-09-26T16:33:47Z","timestamp":1411749227000},"page":"19-23","source":"Crossref","is-referenced-by-count":12,"title":["Enhancing JFLAP with automata construction problems and automated feedback"],"prefix":"10.1109","author":[{"given":"Vinay S.","family":"Shekhar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anant","family":"Agarwalla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akshay","family":"Agarwal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Nitish","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viraj","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1028174.971312"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"15"},{"journal-title":"Test-Driven Development By Example","year":"2003","author":"beck","key":"16"},{"key":"13","first-page":"1","article-title":"Delayed logic and finite state machines","author":"arden","year":"1960","journal-title":"Theory of Computing Machine Design"},{"year":"0","author":"xeger library","key":"14"},{"journal-title":"Wikipedia Article Theory of Computation","year":"2014","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/321239.321249"},{"journal-title":"Jflap-an Interactive Formal Languages and Automata Package","year":"2006","author":"rodger","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/2038876.2038893"},{"journal-title":"Computer Science Curricula 2013 Curriculum Guidelines for Undergraduate Degree Programs in Computer Science","year":"2013","key":"1"},{"key":"10","first-page":"1976","article-title":"Automated grading of DFA constructions","author":"alur","year":"2013","journal-title":"Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI'13"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/FIE.2013.6685122"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1709424.1709444"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1268784.1268803"},{"year":"0","author":"jflap website","key":"4"},{"journal-title":"Algorithms for Testing Equivalence of Finite Automata with A Grading Tool for JFLAP","year":"2009","author":"norton","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/792548.611958"}],"event":{"name":"2014 Seventh International Conference on Contemporary Computing (IC3)","start":{"date-parts":[[2014,8,7]]},"location":"Noida","end":{"date-parts":[[2014,8,9]]}},"container-title":["2014 Seventh International Conference on Contemporary Computing (IC3)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6892117\/6897132\/06897141.pdf?arnumber=6897141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T06:55:44Z","timestamp":1607496944000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6897141\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ic3.2014.6897141","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}