@inproceedings{041eb96b698c471badba6a31f7b7a5a6,
title = "Automated Grading of Regular Expressions",
abstract = "With the rapid transition to distance learning, automatic grading software becomes more important to both teachers and students. We study the problem of automatically grading the regular expressions submitted by students in courses related to automata and formal language theory. In order to utilize the semantic information of the regular expression, we define a declarative logic that can be described by regular language and at the same time has natural language characteristics, and use it for the following tasks: 1) to assign partial grades for incorrect regular expressions and 2) to provide helpful feedback to students to make them understand the reason for the grades and a way to revise the incorrect regular expressions into correct ones. We categorize the cases when students{\textquoteright} incorrect submissions deserve partial grades and suggest how to assign appropriate grades for each of the cases. In order to optimize the runtime complexity of the algorithm, two heuristics based on automata theory are proposed and evaluated on the dataset collected from undergraduate students. In addition, we suggest Regex2NL which translates regular expressions to natural language descriptions to give insight to students so that they can understand how the regular expressions work.",
keywords = "MSO logic, automata theory, automated grading system, regular expressions",
author = "Kim, {Su Hyeon} and Youngwook Kim and Han, {Yo Sub} and Hyeonseung Im and Ko, {Sang Ki}",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s).; 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 ; Conference date: 22-04-2023 Through 27-04-2023",
year = "2023",
doi = "10.1007/978-3-031-30044-8_4",
language = "English",
isbn = "9783031300431",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "90--112",
editor = "Thomas Wies",
booktitle = "Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Proceedings",
address = "Germany",
}