2 Search Results for "Ribeiro, Rita P."

Document
DOI: 10.4230/OASIcs.ICPEC.2025.1
Exploring Mutation Testing for Teaching Introductory Programming

Authors: Pedro Vasconcelos

Published in: OASIcs, Volume 133, 6th International Computer Programming Education Conference (ICPEC 2025)

Abstract
This paper proposes the use of introductory programming assignments based on mutation testing where students are asked to write tests rather than code. We believe such exercises can be used to teach code reading skills before students could write the corresponding programs on their own. Furthermore, feedback for such exercises can be automatically generated using testing tools. We have extended an existing web-based system for programming exercises with such mutation testing assignments and show some example use cases. This is on-going work that has yet to be validated in the classroom.
Cite as

Pedro Vasconcelos. Exploring Mutation Testing for Teaching Introductory Programming. In 6th International Computer Programming Education Conference (ICPEC 2025). Open Access Series in Informatics (OASIcs), Volume 133, pp. 1:1-1:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{vasconcelos:OASIcs.ICPEC.2025.1,
  author =	{Vasconcelos, Pedro},
  title =	{{Exploring Mutation Testing for Teaching Introductory Programming}},
  booktitle =	{6th International Computer Programming Education Conference (ICPEC 2025)},
  pages =	{1:1--1:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-393-5},
  ISSN =	{2190-6807},
  year =	{2025},
  volume =	{133},
  editor =	{Queir\'{o}s, Ricardo and Pinto, M\'{a}rio and Portela, Filipe 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.2025.1},
  URN =		{urn:nbn:de:0030-drops-240319},
  doi =		{10.4230/OASIcs.ICPEC.2025.1},
  annote =	{Keywords: mutation testing, programming education}
}
Document
DOI: 10.4230/OASIcs.ICPEC.2020.28
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.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 Type
  • 2 Document/PDF
  • 1 Document/HTML

  • Refine by Publication Year
  • 1 2025
  • 1 2020

  • Refine by Author
  • 2 Vasconcelos, Pedro
  • 1 Ribeiro, Rita P.

  • Refine by Series/Journal
  • 2 OASIcs

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

  • Refine by Keyword
  • 1 C language
  • 1 Haskell language
  • 1 mutation testing
  • 1 programming education
  • 1 property-based testing
  • Show More...

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact