@InProceedings{vasconcelos_et_al:OASIcs.ICPEC.2020.28,
author = {Vasconcelos, Pedro and Ribeiro, Rita P.},
title = {{Using Property-Based Testing to Generate Feedback for C Programming Exercises}},
booktitle = {First International Computer Programming Education Conference (ICPEC 2020)},
pages = {28:1--28:10},
series = {Open Access Series in Informatics (OASIcs)},
ISBN = {978-3-95977-153-5},
ISSN = {2190-6807},
year = {2020},
volume = {81},
editor = {Queir\'{o}s, Ricardo and Portela, Filipe and Pinto, M\'{a}rio and Sim\~{o}es, Alberto},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2020.28},
URN = {urn:nbn:de:0030-drops-123159},
doi = {10.4230/OASIcs.ICPEC.2020.28},
annote = {Keywords: property-based testing, C language, Haskell language, teaching programming}
}