Koen Claessen & John Hughes (2000):
QuickCheck: a lightweight tool for random testing of Haskell programs.
In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming.
ACM,
pp. 268–279,
doi:10.1145/351240.351266.
Jonas Duregård, Patrik Jansson & Meng Wang (2012):
Feat: Functional Enumeration of Algebraic Types.
In: Proceedings of the Fifth ACM SIGPLAN Haskell Symposium.
ACM,
pp. 61–72,
doi:10.1145/2364506.2364515.
John Hughes (2007):
QuickCheck Testing for Fun and Profit.
In: Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages,
LNCS 4354.
Springer,
pp. 1–32,
doi:10.1007/978-3-540-69611-7_1.
John Hughes (2016):
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane.
In: A List of Successes That Can Change the World – Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday,
LNCS 9600.
Springer,
pp. 169–186,
doi:10.1007/978-3-319-30936-1_9.
Hieke Keuning, Johan Jeuring & Bastiaan Heeren (2019):
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises.
ACM Transactions on Computing Education 19(1),
pp. 3:1–3:43,
doi:10.1145/3231711.
Colin Runciman, Matthew Naylor & Fredrik Lindblad (2008):
SmallCheck and Lazy SmallCheck – automatic exhaustive testing for small values.
In: Proceedings of the First ACM SIGPLAN Haskell Symposium.
ACM,
pp. 37–48,
doi:10.1145/1411286.1411292.
Marcellus Siegburg, Janis Voigtländer & Oliver Westphal (2019):
Automatische Bewertung von Haskell-Programmieraufgaben.
In: Proceedings of the Fourth Workshop ``Automatische Bewertung von Programmieraufgaben''.
GI,
pp. 19–26,
doi:10.18420/abp2019-3.
Wouter Swierstra & Thorsten Altenkirch (2007):
Beauty in the Beast – A Functional Semantics for the Awkward Squad.
In: Proceedings of the 11th ACM SIGPLAN Haskell Workshop.
ACM,
pp. 25–36,
doi:10.1145/1291201.1291206.
J. Waldmann (2017):
Automatische Erzeugung und Bewertung von Aufgaben zu Algorithmen und Datenstrukturen.
In: Proceedings of the Third Workshop ``Automatische Bewertung von Programmieraufgaben'',
CEUR Workshop Proceedings 2015.
CEUR-WS.org.
Oliver Westphal & Janis Voigtländer (2020):
Implementing, and Keeping in Check, a DSL Used in E-Learning.
In: Proceedings of the 15th International Symposium on Functional and Logic Programming,
LNCS 12073.
Springer,
doi:10.1007/978-3-030-59025-3_11.
eptcs@eptcs.org