1 Search Results for "Ribeiro, Rita P."


Document
Using Property-Based Testing to Generate Feedback for C Programming Exercises

Authors: Pedro Vasconcelos and Rita P. Ribeiro

Published in: OASIcs, Volume 81, First International Computer Programming Education Conference (ICPEC 2020)


Abstract
This paper reports on the use of property-based testing for providing feedback to C programming exercises. Test cases are generated automatically from properties specified in a test script; this not only makes it possible to conduct many tests (thus potentially find more mistakes), but also allows simplifying failed tests cases automatically. We present some experimental validation gathered for an introductory C programming course during the fall semester of 2018 that show significant positive correlations between getting feedback during the semester and the student’s results in the final exam. We also discuss some limitations regarding feedback for undefined behaviors in the C language.

Cite as

Pedro Vasconcelos and Rita P. Ribeiro. Using Property-Based Testing to Generate Feedback for C Programming Exercises. In First International Computer Programming Education Conference (ICPEC 2020). Open Access Series in Informatics (OASIcs), Volume 81, pp. 28:1-28:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@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-dev.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}
}
  • Refine by Author
  • 1 Ribeiro, Rita P.
  • 1 Vasconcelos, Pedro

  • Refine by Classification
  • 1 Social and professional topics → Student assessment
  • 1 Software and its engineering → Domain specific languages
  • 1 Software and its engineering → Software testing and debugging

  • Refine by Keyword
  • 1 C language
  • 1 Haskell language
  • 1 property-based testing
  • 1 teaching programming

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail