CAFE: Automatic Correction and Feedback of Programming Challenges for a CS1 Course

Liénardy, Simon; Leduc, Laurent; Verpoorten, Dominique; Donnet, Benoît

doi:10.1145/3373165.3373176

Download

Paper published in a book (Scientific congresses and symposiums)

CAFE: Automatic Correction and Feedback of Programming Challenges for a CS1 Course

Liénardy, Simon; Leduc, Laurent; Verpoorten, Dominique et al.

2020 • In ACM 22nd Australasian Computing Education Conference (ACE)

Peer reviewed

Permalink
https://hdl.handle.net/2268/242587

DOI
10.1145/3373165.3373176

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

paper.pdf

Author preprint (1.25 MB)

Download

All documents in ORBi are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

CAFE; Graphical Loop Invariant; CS1; Assessment for Learning

Abstract :

[en] This paper introduces CAFE (``Correction Automatique et Feedback des Etudiants''), an on-line platform designed to assess and deliver automatic feedback and feedforward information to CS1 students, both on process and products of series of programming exercises, targeting especially an informal Loop Invariant for building the code. The paper reports on the first trials of CAFE with a group of 80 students. Results show that CAFE is used, usable, and appreciated by students.

Disciplines :

Computer science

Author, co-author :

Liénardy, Simon ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Dép. d'électric., électron. et informat. (Inst.Montefiore)

Leduc, Laurent ; Université de Liège - ULiège > IFRES

Verpoorten, Dominique ; Université de Liège - ULiège > IFRES : Pédagogie de l'Enseignement supérieur

Donnet, Benoît ; Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Algorithmique des grands systèmes

Language :

English

Title :

CAFE: Automatic Correction and Feedback of Programming Challenges for a CS1 Course

Publication date :

February 2020

Event name :

ACM 22nd Australasian Computing Education Conference (ACE)

Event date :

du 4 février 2020 au 6 février 2020

Audience :

International

Main work title :

ACM 22nd Australasian Computing Education Conference (ACE)

Peer reviewed :

Peer reviewed

Available on ORBi :

since 30 December 2019

Statistics

Number of views

330 (62 by ULiège)

Number of downloads

611 (67 by ULiège)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

O. Astrachan. 1991. Pictures as Invariants. In Proc. Technical Symposium on Computer Science Education (SGICSE).
R-J. Back, J. Eriksson, and L. Mannila. 2007. Teaching the Construction of Correct Programs using Invariant Based Programming. In Proc. 3rd South-East European Workshop on Formal Methods.
A. Bandura. 1993. Perceived self-efficacy in cognitive development and functioning. Educational psychologist 28, 2 (1993), 117-148.
T. Beaubouef, R. Lucas, and J. Howatt. 2001. The UNLOCK System: Enhancing Problem Solving Skills in CS-1 Students. ACM SIGCSE Bulletin 33, 2 (June 2001), 43-46.
T. Beaubouef and J. Mason. 2005. Why the High Attrition Rate for Computer Science Students: Some Thoughts and Observations. ACM SIGCSE Bulletin 37, 2 (June 2005), 103-106.
J. Bennedse and M. E. Caspersen. 2007. Failure Rates in Introductory Programming. ACM SIGCSE Bulletin 39, 2 (June 2007), 32-36.
J. Biggs and C. Tang. 2011. Teaching for Quality Learning at University (4th ed.). Open University Press.
D. Boud. 2000. Sustainable Assessment: Rethinking Assessment for the Learning Society. Studies in Continuing Education 22, 2 (August 2000), 151-167.
A. R. Bradley and Z. Manna. 2007. The Calculus of Computation: Decision Procedures with Applications to Verification. Springer.
M. Brauer. 2011. Enseigner à l'Université: Conseils Pratiques, Astuces, Méthodes Pédagogiques. Armand Colin.
S. M. Brookhart. 2008. How to Give Effective Feedback to Your Students. Association for Supervision & Curriculum Development (ASCD).
T. H Cormen, C. E Leiserson, R. L. Rivest, and C. Stein. 2009. Introduction to Algorithms. MIT press.
M. Craig, A. Petersen, and J. Campbell. 2019. Answering the Correct Question. In Proc. ACM Conference on Global Computer Education (CompEd).
G. Derval, A. Gego, P. Reinbold, B. Frantzen, and P. Van Roy. 2015. Automatic Grading of Programming Exercises in a MOOC Using the INGInious Platform. In Proc. European MIIC Stakeholder Summit (EMOOC).
E. W. Dijkstra. 1976. A Discipline of Programming. Prentice-Hall, Inc.
S. H. Edwards and M. A. Perez-Quinones. 2008. Web-CAT: Automatically Grading Programming Assignments. In Proc. Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE).
N. Falkner, R. Vivian, D. Piper, and K. Falkner. 2014. Increasing the Effectivement of Automated Assessment by Increasing Marking Granularity and Feedback Units. In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE).
R. W. Floyd. 1967. Assigning Meanings to Programs. In Proc. Symposium on Applied Mathematics.
C. A. R. Hoare. 1969. An Axiomatic Basis for Computer Programming. Commun. ACM 12, 10 (1969), 576-580.
C.A. Jones. 2005. Assessment for learning. Learning and Skills Development Agency.
V. Karavirta, A. Korhonen, and L. Malmi. 2006. On the Use of Resubmissions in Automatic Assessment Systems. Computer Science Education 16, 3 (September 2006), 229-240.
H. Keuning, J. Jeuring, and B. Heeren. 2019. A Systematic Literature Review of Automated Feedback Generation for Programming Exercices. ACM Transactions on Computing Education (TOCE) 19, 1 (January 2019).
C. H. Knoblauch and L. Brannon. 1981. Teacher Commentary on Student Writing: The State of the Art. Freshman English News 10, 2 (Fall 1981), 1-4.
A. N. Kumar. 2013. Using Problets for Problem-Solving Exercises in Introductory C++/Java/C# Courses. In Proc. IEEE Frontiers in Educatoin Conference (FIE).
R. Likert. 1932. A Technique for the Measurement of Attitudes. Archives of Psychology 140 (1932), 1-55.
R. Lobb and J. Harlow. 2016. Coderunner: a Tool for Assessing Computer Programming Skills. ACM Inroads 7, 1 (March 2016), 47-51.
D. Loksa, A. J. Ko, W. Jernigan, A. Oleson, C. J. Mendez, and M. M. Burnett. 2016. Programming, Problem Solving, and Self-Awareness: Effects of Explicit Guidance. In Proc. ACM Conference on Human Factors in Computing Systems (CHI).
J. Metcalfe and A. P. Shimamura. 1994. Metacognition: Knowing about Knowing. MIT Press.
S. Narciss and K. Huth. 2002. How to Design Informative Tutoring Feedback for Multimedia Learning. In Proc. International Workshop of SIG 6 Instructional Design of the European Association for Research on Learning and INstructions (EARLI).
D. Nicol. 2009. Quality Enhancement Themes: The First Year Experience: Transforming Assessment and Feedback: Enhancing Integration and Empowerment in the First Year. The Quality Assurance Agency for Higher Education.
N. Parlante. 2011. CodingBat: Code Practice. https://codingbat.com [Online; accessed: 30 March 2019].
Pearson. [n.d.]. My Lab Programming. https://www.pearsonmylabandmastering.com/northamerica/myprogramminglab/ [Online; accessed: 30 March 2019].
J. Prather, R. Pettit, B. A. Becker, P. Denny, D. Loksa, A. Peters, Z. Albrecht, and K. Masci. 2019. First Things First: Providing Metacognitive Scaffolding for Interpreting Problem Prompts. In Proc. ACM Technical Symposium on Computer Science Education (SIGCSE).
K. Sambell, L. McDowell, and C. Montgomery. 2013. Assessment for Learning in Higher Education. Routledge.
R. Singh, S. Gulwani, and A. Solar-Lezama. 2013. Automated Feedback Generation for Introductory Programming Assignments. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI).
W. C. Tam. 1992. Teaching Loop Invariants to Beginners by Examples. In Proc. Technical Symposium on Computer Science Education (SIGCSE).
V. Tinto. 1999. Taking Retention Seriously: Rethinking the First Year of College. NACADA Journal 19, 2 (Fall 1999), 5-9.
R. Viau. 2009. La motivation en contexte scolaire (5th ed.). de boeck.
C. Watson and F. W. Li. 2014. Failure Rates in Introductory Programming Revisited. In Proc. Conference on Innovation & Technology in Computer Science Education (ITiCSE).
D. Wiliam. 2011. What Is Assessment for Learning? Studies in Educational Evaluation 37, 1 (March 2011), 3-14.