References

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