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