Zobrazeno 1 - 7
of 7
pro vyhledávání: '"John Wrenn"'
Publikováno v:
Proceedings of the 22nd Koli Calling International Conference on Computing Education Research.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f4576861d789e7aff8525751b33fc07
https://doi.org/10.1145/3564721.3564726
https://doi.org/10.1145/3564721.3564726
Context: This work is based on property-based testing (PBT). PBT is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstract area of formal methods. Specifically, we focus on students learning
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8356903224fd359b990d1bcabc422117
Autor:
Shriram Krishnamurthi, John Wrenn
Publikováno v:
Koli Calling
Students faced with a programming task often begin their implementation without a sufficient understanding of the problem. Several prior papers suggest that formulating input–output examples before beginning one’s implementation is the key to ave
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e499ab21c927c9c630babe8dcc86d6d4
https://doi.org/10.1145/3428029.3428060
https://doi.org/10.1145/3428029.3428060
Context: The success of QuickCheck has led to the development of property-based testing (PBT) libraries for many languages and the process is getting increasing attention. However, unlike regular testing, PBT is not widespread in collegiate curricula
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e4f16faaf146eff3d755e3201e75b073
Autor:
Shriram Krishnamurthi, John Wrenn
Publikováno v:
ICER
Flawed problem comprehension leads students to produce flawed implementations. However, testing alone is inadequate for checking comprehension: if a student develops both their tests and implementation with the same misunderstanding, running their te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8668abd6cb2ee2d9703bc2d986277d6b
https://doi.org/10.1145/3291279.3339416
https://doi.org/10.1145/3291279.3339416
Publikováno v:
ICER
Instructors routinely use automated assessment methods to evaluate the semantic qualities of student implementations and, sometimes, test suites. In this work, we distill a variety of automated assessment methods in the literature down to a pair of a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7876f20fdd029070ea59ebffc9a60f26
https://doi.org/10.1145/3230977.3230999
https://doi.org/10.1145/3230977.3230999
Autor:
John Wrenn, Shriram Krishnamurthi
Publikováno v:
Onward!
This paper presents a lightweight process to guide error report authoring. We take the perspective that error reports are really classifiers of program information. They should therefore be subjected to the same measures as other classifiers (e.g., p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::38e7a0f8abda32a3568a1a8714e8f888
https://doi.org/10.1145/3133850.3133862
https://doi.org/10.1145/3133850.3133862