@inproceedings{S2020,
 address = {New York, NY, USA},
 author = {Vladimír Štill},
 booktitle = {Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE '20), June 15--19, 2020, Trondheim, Norway},
 doi = {10.1145/3341525.3393972},
 isbn = {978-1-4503-6874-2/20/06},
 note = {http://vstill.eu/papers/2020/hsExprTest.pdf},
 pages = {1 page},
 publisher = {ACM},
 title = {Automatic Test Generation for Haskell Programming Assignments},
 year = {2020}
}