@inproceedings(bahnsen2021,
 author       = {F. H. Bahnsen and G. Fey},
 year         = {2021},
 title        = {{{YAPS}} - {{Your Open Examination System}} for {{Activating}} and {{emPowering Students}}},
 booktitle    = {2021 16th {{Int}}. {{Conf}}. {{Comput}}. {{Sci}}. {{Educ}}. ({{ICCSE}})},
 pages        = {98--103},
 doi          = {10.1109/ICCSE51940.2021.9569549},
)
@inproceedings(bieniusa2008,
 author       = {A. Bieniusa and M. Degen and P. Heidegger and P. Thiemann and S. Wehr and M. Gasbichler and M. Sperber and M. Crestani and H. Klaeren and E. Knauel},
 year         = {2008},
 title        = {{{HtDP}} and {{DMdA}} in the Battlefield: A Case Study in First-Year Programming Instruction},
 booktitle    = {{{FDPE}} '08: {{Proc}}. 2008 {{Int}}. {{Workshop Funct}}. {{Declar}}. {{Program}}. {{Educ}}.},
 pages        = {1--12},
 doi          = {10.1145/1411260.1411262},
)
@article(biggs1996,
 author       = {J. Biggs},
 year         = {1996},
 title        = {Enhancing Teaching through Constructive Alignment},
 journal      = {High. Educ.},
 volume       = {32},
 number       = {3},
 pages        = {347--364},
 doi          = {10.1007/BF00138871},
)
@inproceedings(claessen2000,
 author       = {K. Claessen and J. Hughes},
 year         = {2000},
 title        = {{{QuickCheck}}: A Lightweight Tool for Random Testing of {{Haskell}} Programs},
 booktitle    = {{{ICFP}} '00: {{Proc}}. Fifth {{ACM SIGPLAN Int}}. {{Conf}}. {{Funct}}. {{Program}}.},
 pages        = {268--279},
 doi          = {10.1145/351240.351266},
)
@inproceedings(derval2015,
 author       = {G. Derval and A. Gego and P. Reinbold and B. Frantzen and Van Roy, P.},
 year         = {2015},
 title        = {Automatic Grading of Programming Exercises in a {{MOOC}} Using the {{INGInious}} Platform},
 booktitle    = {Proc. {{Eur}}. {{MOOC Stakehold}}. {{Summit}} 2015},
 pages        = {86--91},
)
@inproceedings(erwig2012,
 author       = {M. Erwig and R. Gopinath},
 year         = {2012},
 title        = {Explanations for {{Regular Expressions}}},
 booktitle    = {Fundam. {{Approaches Softw}}. {{Eng}}.},
 series       = {Lect. {{Notes Comput}}. {{Sci}}.},
 volume       = {7212},
 pages        = {394--408},
 doi          = {10.1007/978-3-642-28872-2_27},
)
@misc(hamburguniversityoftechnology2022,
 author       = {{Hamburg University of Technology}},
 year         = {2022},
 title        = {Module {{Manual Bachelor}} of {{Science}} ({{B}}. {{Sc}}.) {{Computer Science}} -- {{Cohort}}: {{Winter Term}} 2021},
 url          = {https://studienplaene.tuhh.de/po/E/mhb_CSBS_kh_w21_von_20220524_v_0_en.pdf},
)
@article(hollingsworth1960,
 author       = {J. Hollingsworth},
 year         = {1960},
 title        = {Automatic Graders for Programming Classes},
 journal      = {Comm. ACM},
 volume       = {3},
 number       = {10},
 pages        = {528--529},
 doi          = {10.1145/367415.367422},
)
@book(hutton2016,
 author       = {G. Hutton},
 year         = {2016},
 title        = {Programming in {{Haskell}}},
 edition      = {second},
 publisher    = {{Cambridge University Press}},
 doi          = {10.1017/CBO9781316784099},
)
@inproceedings(jacobsen2023,
 author       = {F. K. Jacobsen and J. Villadsen},
 year         = {2023},
 title        = {On {{Exams}} with the {{Isabelle Proof Assistant}}},
 booktitle    = {Proc. 11th {{Int}}. {{Workshop Theorem Proving Compon}}. {{Educ}}. {{Softw}}.},
 series       = {Electron. {{Proc}}. {{Theor}}. {{Comput}}. {{Sci}}.},
 volume       = {375},
 pages        = {63--76},
 doi          = {10.4204/EPTCS.375.6},
)
@inproceedings(kadupitiya2016,
 author       = {J. C. S. Kadupitiya and S. Ranathunga and G. Dias},
 year         = {2016},
 title        = {Automated Assessment of Multi-Step Answers for Mathematical Word Problems},
 booktitle    = {2016 {{Sixt}}. {{Int}}. {{Conf}}. {{Adv}}. {{ICT Emerg}}. {{Reg}}. ({{ICTer}})},
 pages        = {66--71},
 doi          = {10.1109/ICTER.2016.7829900},
)
@inproceedings(kappelmann2022,
 author       = {K. Kappelmann and J. R{\"a}dle and L. Stevens},
 year         = {2022},
 title        = {Engaging, {{Large-Scale Functional Programming Education}} in {{Physical}} and {{Virtual Space}}},
 booktitle    = {Proc. {{Tenth Elev}}. {{Int}}. {{Workshop Trends Funct}}. {{Program}}. {{Educ}}.},
 series       = {Electron. {{Proc}}. {{Theor}}. {{Comput}}. {{Sci}}.},
 volume       = {363},
 pages        = {93--113},
 doi          = {10.4204/EPTCS.363.6},
)
@article(krathwohl2002,
 author       = {D. R. Krathwohl},
 year         = {2002},
 title        = {A {{Revision}} of {{Bloom}}'s {{Taxonomy}}: {{An Overview}}},
 journal      = {Theory Pract.},
 volume       = {41},
 number       = {4},
 pages        = {212--218},
 doi          = {10.1207/s15430421tip4104_2},
)
@inproceedings(krusche2018,
 author       = {S. Krusche and A. Seitz},
 year         = {2018},
 title        = {{{ArTEMiS}}: {{An Automatic Assessment Management System}} for {{Interactive Learning}}},
 booktitle    = {{{SIGCSE}}'18: {{Proc}}. 49th {{ACM Tech}}. {{Symp}}. {{Comput}}. {{Sci}}. {{Educ}}.},
 pages        = {284--289},
 doi          = {10.1145/3159450.3159602},
)
@article(kuikka2014,
 author       = {M. Kuikka and M. Kitola and M.-J. Laakso},
 year         = {2014},
 title        = {Challenges When Introducing Electronic Exam},
 journal      = {Res. Learn. Technol.},
 volume       = {22},
 doi          = {10.3402/rlt.v22.22817},
)
@inproceedings(loftsson2021,
 author       = {H. Loftsson and {\'A}. Matth{\'i}asd{\'o}ttir},
 year         = {2021},
 title        = {Moving {{Classes}} in a {{Large Programming Course Online}}: {{An Experience Report}}},
 booktitle    = {Second {{Int}}. {{Comput}}. {{Program}}. {{Educ}}. {{Conf}}. ({{ICPEC}} 2021)},
 series       = {Open {{Access Ser}}. {{Inform}}. ({{OASIcs}})},
 volume       = {91},
 pages        = {2:1--2:13},
 doi          = {10.4230/OASIcs.ICPEC.2021.2},
)
@inproceedings(mccartin-lim2018,
 author       = {{McCartin-Lim}, M. and B. Woolf and A. McGregor},
 year         = {2018},
 title        = {Connect the {{Dots}} to {{Prove It}}: {{A Novel Way}} to {{Learn Proof Construction}}},
 booktitle    = {{{SIGCSE}}'18: {{Proc}}. 49th {{ACM Tech}}. {{Symp}}. {{Comput}}. {{Sci}}. {{Educ}}.},
 pages        = {533--538},
 doi          = {10.1145/3159450.3159609},
)
@article(milojicic2011,
 author       = {D. Milojicic},
 year         = {2011},
 title        = {Autograding in the {{Cloud}}: {{Interview}} with {{David O}}'{{Hallaron}}},
 journal      = {IEEE Internet Comput.},
 volume       = {15},
 number       = {1},
 pages        = {9--12},
 doi          = {10.1109/MIC.2011.2},
)
@inproceedings(morris2003,
 author       = {D. S. Morris},
 year         = {2003},
 title        = {Automatic Grading of Student's Programming Assignments: An Interactive Process and Suite of Programs},
 booktitle    = {33rd {{Annu}}. {{Front}}. {{Educ}}.},
 volume       = {3},
 pages        = {S3F--1 -- S3F--6},
 doi          = {10.1109/FIE.2003.1265998},
)
@book(nipkow2002,
 author       = {T. Nipkow and M. Wenzel and L. C. Paulson},
 year         = {2002},
 title        = {Isabelle/{{HOL}}},
 series       = {Lect. {{Notes Comput}}.{{Sci}}.},
 volume       = {2283},
 doi          = {10.1007/3-540-45949-9},
)
@article(paiva2022,
 author       = {J. C. Paiva and J. P. Leal and {\'A}. Figueira},
 year         = {2022},
 title        = {Automated {{Assessment}} in {{Computer Science Education}}: {{A State-of-the-Art Review}}},
 journal      = {ACM Trans. Comput. Educ.},
 volume       = {22},
 number       = {3},
 pages        = {34:1--34:40},
 doi          = {10.1145/3513140},
)
@inproceedings(pieterse2013,
 author       = {V. Pieterse},
 year         = {2013},
 title        = {Automated {{Assessment}} of {{Programming Assignments}}},
 booktitle    = {{{CSERC}}'13: {{Proc}}. 3rd {{Comput}}. {{Sci}}. {{Educ}}. {{Res}}. {{Conf}}.},
 pages        = {45--56},
)
@misc(poulsen2022a,
 author       = {S. Poulsen and S. Kulkarni and G. Herman and M. West},
 year         = {2022},
 title        = {Efficient {{Partial Credit Grading}} of {{Proof Blocks Problems}}},
 doi          = {10.48550/arXiv.2204.04196},
)
@inproceedings(poulsen2022,
 author       = {S. Poulsen and M. Viswanathan and G. L. Herman and M. West},
 year         = {2022},
 title        = {Proof {{Blocks}}: {{Autogradable Scaffolding Activities}} for {{Learning}} to {{Write Proofs}}},
 booktitle    = {{{ITiCSE}} '22: {{Proc}}. 27th {{ACM Conf}}. {{Innov}}. {{Technol}}. {{Comput}}. {{Sci}}. {{Educ}}. {{Vol}}. 1},
 pages        = {428--434},
 doi          = {10.1145/3502718.3524774},
)
@inproceedings(rajala2016,
 author       = {T. Rajala and E. Kaila and R. Lind{\'e}n and E. Kurvinen and E. Lokkila and M.-J. Laakso and T. Salakoski},
 year         = {2016},
 title        = {Automatically Assessed Electronic Exams in Programming Courses},
 booktitle    = {{{ACSW}}'16: {{Proc}}. {{Australas}}. {{Comput}}. {{Sci}}. {{Week Multiconf}}.},
 pages        = {1--8},
 doi          = {10.1145/2843043.2843062},
)
@article(schneider2022,
 author       = {J. Schneider and R. Richner and M. Riser},
 year         = {2022},
 title        = {Towards {{Trustworthy AutoGrading}} of {{Short}}, {{Multi-lingual}}, {{Multi-type Answers}}},
 journal      = {Int. J. Artif. Intell. Educ.},
 volume       = {33},
 number       = {1},
 pages        = {88--118},
 doi          = {10.1007/s40593-022-00289-z},
)
@inproceedings(sheard2011,
 author       = {J. Sheard and Simon and A. Carbone and D. Chinn and M.-J. Laakso and T. Clear and {de Raadt}, M. and D. D'Souza and J. Harland and R. Lister and A. Philpott and G. Warburton},
 year         = {2011},
 title        = {Exploring Programming Assessment Instruments: A Classification Scheme for Examination Questions},
 booktitle    = {{{ICER}}'11: {{Proc}}. Seventh {{Int}}. {{Workshop Comput}}. {{Educ}}. {{Res}}.},
 pages        = {33--38},
 doi          = {10.1145/2016911.2016920},
)
@article(sitzmann2022,
 author       = {D. Sitzmann and K. Kruse and D. Gallaun and N. Kubick and B. Reinhold and M. Schnabel and L. Thoms and H. Barbas and D. Meiling},
 year         = {2022},
 title        = {{Aufbau eines mobilen Testcenters f\"ur die Hamburger Hochschulen im Rahmen des Projekts MINTFIT E-Assessment}},
 journal      = {Hochschullehre},
 volume       = {8},
 pages        = {113--129},
 doi          = {10.3278/HSL2208W},
)
@inproceedings(stergiopoulos2006,
 author       = {C. Stergiopoulos and P. Tsiakas and D. Triantis and M. Kaitsa},
 year         = {2006},
 title        = {Evaluating {{Electronic Examination Methods Applied}} to {{Students}} of {{Electronics}}. {{Effectiveness}} and {{Comparison}} to the {{Paper-and-Pencil Method}}.},
 booktitle    = {{{IEEE Int}}. {{Conf}}. {{Sens}}. {{Netw}}. {{Ubiquitous Trust}}. {{Comput}}. ({{SUTC}}'06)},
 volume       = {2},
 pages        = {143--151},
 doi          = {10.1109/SUTC.2006.65},
)
@inproceedings(ureelii2019,
 author       = {Ureel II, L. C. and C. Wallace},
 year         = {2019},
 title        = {Automated {{Critique}} of {{Early Programming Antipatterns}}},
 booktitle    = {{{SIGCSE}} '19: {{Proc}}. 50th {{ACM Tech}}. {{Symp}}. {{Comput}}. {{Sci}}. {{Educ}}.},
 pages        = {738--744},
 doi          = {10.1145/3287324.3287463},
)
@article(zheng2021,
 author       = {L.-X. Zheng and S. Ma and Z.-X. Chen and X.-Y. Luo},
 year         = {2021},
 title        = {Ensuring the {{Correctness}} of {{Regular Expressions}}: {{A Review}}},
 journal      = {Int. J. Autom. Comput.},
 volume       = {18},
 number       = {4},
 pages        = {521--535},
 doi          = {10.1007/s11633-021-1301-4},
)