Publication Automated Grading of Regular Expressions ESOP 2023: 32nd European Symposium on Programming. 22-27 April 2023 Authors Su-Hyeon Kim Youngwook Kim Yo-Sub Han Hyeonseung Im Sang-Ki Ko Support BRL Tags software-engineering programming-languages formal-methods PDF