{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:17:58Z","timestamp":1750220278982,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["DUE-1819546,CCF-2030859"],"award-info":[{"award-number":["DUE-1819546,CCF-2030859"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,2,22]]},"DOI":"10.1145\/3478431.3499416","type":"proceedings-article","created":{"date-parts":[[2022,2,23]],"date-time":"2022-02-23T00:53:28Z","timestamp":1645577608000},"page":"976-982","source":"Crossref","is-referenced-by-count":2,"title":["Effective Succinct Feedback for Intro CS Theory"],"prefix":"10.1145","author":[{"given":"Ivona","family":"Bez\u00e1kov\u00e1","sequence":"first","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kimberly","family":"Fluet","sequence":"additional","affiliation":[{"name":"University of Rochester, Rochester, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edith","family":"Hemaspaandra","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannah","family":"Miller","sequence":"additional","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David E.","family":"Narv\u00e1ez","sequence":"additional","affiliation":[{"name":"University of Rochester, Rochester, NY, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2540128.2540412"},{"volume-title":"Analyzing Context-Free Grammars Using an Incremental SAT Solver","author":"Axelsson Roland","key":"e_1_3_2_1_2_1","unstructured":"Roland Axelsson , Keijo Heljanko , and Martin Lange . 2008. Analyzing Context-Free Grammars Using an Incremental SAT Solver . In Automata, Languages, and Programming, Luca Aceto, Ivan Damg\u00e5rd, Leslie Ann Goldberg, Magn\u00fas M. Halld\u00f3rsson, Anna Ing\u00f3lfsd\u00f3ttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 410--422. https:\/\/link.springer.com\/chapter\/10.1007%2F978--3--540--70583--3_34 Roland Axelsson, Keijo Heljanko, and Martin Lange. 2008. Analyzing Context-Free Grammars Using an Incremental SAT Solver. In Automata, Languages, and Programming, Luca Aceto, Ivan Damg\u00e5rd, Leslie Ann Goldberg, Magn\u00fas M. Halld\u00f3rsson, Anna Ing\u00f3lfsd\u00f3ttir, and Igor Walukiewicz (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 410--422. https:\/\/link.springer.com\/chapter\/10.1007%2F978--3--540--70583--3_34"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190039"},{"key":"e_1_3_2_1_4_1","first-page":"1","article-title":"Assessment and Classroom Learning","volume":"5","author":"Black Paul","year":"1998","unstructured":"Paul Black and Dylan Wiliam . 1998 . Assessment and Classroom Learning . Assessment in Education , Vol. 5 , 1 (March 1998), 7--74. Paul Black and Dylan Wiliam. 1998. Assessment and Classroom Learning. Assessment in Education, Vol. 5, 1 (March 1998), 7--74.","journal-title":"Assessment in Education"},{"volume-title":"How people learn: Brain, mind, experience, and school (expanded edition)","author":"Bransford John","key":"e_1_3_2_1_5_1","unstructured":"John Bransford , Rodney R Cocking , and Ann L Brown . 2000. How people learn: Brain, mind, experience, and school (expanded edition) . National Academies Press . https:\/\/doi.org\/10.17226\/9853 John Bransford, Rodney R Cocking, and Ann L Brown. 2000. How people learn: Brain, mind, experience, and school (expanded edition) .National Academies Press. https:\/\/doi.org\/10.17226\/9853"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287351"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889185"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038876.2038893"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.3102\/00028312029002253"},{"key":"e_1_3_2_1_10_1","first-page":"109","article-title":"Providing and using formative feedback. In Bringing math students into the formative assessment equation","volume":"4","author":"Creighton Susan Janssen","year":"2015","unstructured":"Susan Janssen Creighton , Cheryl Rose Tobey , Eric E. Karnowski , and Emily Roche Fagan . 2015 . Providing and using formative feedback. In Bringing math students into the formative assessment equation . Corwin, Chapter 4 , 109 -- 152 . Susan Janssen Creighton, Cheryl Rose Tobey, Eric E. Karnowski, and Emily Roche Fagan. 2015. Providing and using formative feedback. In Bringing math students into the formative assessment equation. Corwin, Chapter 4, 109--152.","journal-title":"Corwin, Chapter"},{"volume-title":"Computer Aided Verification (CAV '20),, Shuvendu K","author":"D'Antoni Loris","key":"e_1_3_2_1_11_1","unstructured":"Loris D'Antoni , Martin Helfrich , Jan Kretinsky , Emanuel Ramneantu , and Maximilian Weininger . 2020. Automata Tutor v3 . In Computer Aided Verification (CAV '20),, Shuvendu K . Lahiri and Chao Wang (Eds.). Springer International Publishing , 3--14. Loris D'Antoni, Martin Helfrich, Jan Kretinsky, Emanuel Ramneantu, and Maximilian Weininger. 2020. Automata Tutor v3. In Computer Aided Verification (CAV '20),, Shuvendu K. Lahiri and Chao Wang (Eds.). Springer International Publishing, 3--14."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723163"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1037\/0022-0663.85.1.75"},{"key":"e_1_3_2_1_14_1","unstructured":"Terry E Dielman. 2005. Applied regression analysis: A second course in business and economic statistics .Brooks\/Cole Thomson Learning Belmont CA.  Terry E Dielman. 2005. Applied regression analysis: A second course in business and economic statistics .Brooks\/Cole Thomson Learning Belmont CA."},{"key":"e_1_3_2_1_15_1","unstructured":"Loris D'Antoni Martin Helfrich Jan Kretinsky Emanuel Ramneantu and Maximilian Weininger. [n.d.]. Automata Tutor. https:\/\/automata-tutor.model.in.tum.de\/  Loris D'Antoni Martin Helfrich Jan Kretinsky Emanuel Ramneantu and Maximilian Weininger. [n.d.]. Automata Tutor. https:\/\/automata-tutor.model.in.tum.de\/"},{"volume-title":"Forum qualitative sozialforschung\/forum: qualitative social research","author":"Glaser Barney G","key":"e_1_3_2_1_16_1","unstructured":"Barney G Glaser and Judith Holton . 2004. Remodeling grounded theory . In Forum qualitative sozialforschung\/forum: qualitative social research , Vol. 5 . Barney G Glaser and Judith Holton. 2004. Remodeling grounded theory. In Forum qualitative sozialforschung\/forum: qualitative social research, Vol. 5."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmathb.2016.02.002"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.3102\/003465430298487"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3287324.3287384"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1177\/1474022214531502"},{"key":"e_1_3_2_1_22_1","unstructured":"Jessica Sorrell. 2015. CFGSolver. https:\/\/github.com\/hatgirl\/CFGSolver  Jessica Sorrell. 2015. CFGSolver. https:\/\/github.com\/hatgirl\/CFGSolver"},{"volume-title":"Basics of qualitative research","author":"Strauss Anselm","key":"e_1_3_2_1_23_1","unstructured":"Anselm Strauss and Juliet Corbin . 1990. Basics of qualitative research . Sage publications. Anselm Strauss and Juliet Corbin. 1990. Basics of qualitative research .Sage publications."},{"volume-title":"Mind in society: The development of higher psychological processes","author":"Vygotsky Lev Semenovich","key":"e_1_3_2_1_24_1","unstructured":"Lev Semenovich Vygotsky . 1978. Mind in society: The development of higher psychological processes . Harvard university press . Lev Semenovich Vygotsky. 1978. Mind in society: The development of higher psychological processes .Harvard university press."},{"volume-title":"Proceedings of the 50th ACM Technical Symposium on Computer Science Education","author":"Weikle Dee A. B.","key":"e_1_3_2_1_25_1","unstructured":"Dee A. B. Weikle , Michael O. Lam , and Michael S. Kirkpatrick . 2019. Automating Systems Course Unit and Integration Testing: Experience Report . In Proceedings of the 50th ACM Technical Symposium on Computer Science Education ( Minneapolis, MN, USA) (SIGCSE '19). Association for Computing Machinery, New York, NY, USA, 565--570. https:\/\/doi.org\/10.1145\/3287324.3287502 Dee A. B. Weikle, Michael O. Lam, and Michael S. Kirkpatrick. 2019. Automating Systems Course Unit and Integration Testing: Experience Report. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (Minneapolis, MN, USA) (SIGCSE '19). Association for Computing Machinery, New York, NY, USA, 565--570. https:\/\/doi.org\/10.1145\/3287324.3287502"},{"key":"e_1_3_2_1_26_1","first-page":"3","article-title":"Formative Assessment in Mathematics Part 2","volume":"5","author":"Wiliam Dylan","year":"1999","unstructured":"Dylan Wiliam . 1999 . Formative Assessment in Mathematics Part 2 : Feedback. Equals: Mathematics and Special Educational Needs , Vol. 5 , 3 (Jan 1999), 8--11. Dylan Wiliam. 1999. Formative Assessment in Mathematics Part 2: Feedback. Equals: Mathematics and Special Educational Needs, Vol. 5, 3 (Jan 1999), 8--11.","journal-title":"Feedback. Equals: Mathematics and Special Educational Needs"}],"event":{"name":"SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education","sponsor":["SIGCSE ACM Special Interest Group on Computer Science Education"],"location":"Providence RI USA","acronym":"SIGCSE 2022"},"container-title":["Proceedings of the 53rd ACM Technical Symposium on Computer Science Education"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3478431.3499416","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3478431.3499416","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3478431.3499416","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:31:15Z","timestamp":1750188675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3478431.3499416"}},"subtitle":["A JFLAP Extension"],"short-title":[],"issued":{"date-parts":[[2022,2,22]]},"references-count":25,"alternative-id":["10.1145\/3478431.3499416","10.1145\/3478431"],"URL":"https:\/\/doi.org\/10.1145\/3478431.3499416","relation":{},"subject":[],"published":{"date-parts":[[2022,2,22]]}}}