Pedro B. Vasconcelos, Rita P. Ribeiro. Using Property-Based Testing to Generate Feedback for C Programming Exercises. In Ricardo Queirós, Filipe Portela, Mário Pinto, Alberto Simões, editors, First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference). Volume 81 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
@inproceedings{VasconcelosR20,
title = {Using Property-Based Testing to Generate Feedback for C Programming Exercises},
author = {Pedro B. Vasconcelos and Rita P. Ribeiro},
year = {2020},
doi = {10.4230/OASIcs.ICPEC.2020.28},
url = {https://doi.org/10.4230/OASIcs.ICPEC.2020.28},
researchr = {https://researchr.org/publication/VasconcelosR20},
cites = {0},
citedby = {0},
booktitle = {First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference)},
editor = {Ricardo Queirós and Filipe Portela and Mário Pinto and Alberto Simões},
volume = {81},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-153-5},
}