Developing an automated program checkers

Authors:
Julia Isong
Affiliations:
Department of Computer and Information Sciences, Florida A&M University, Tallahassee, FL
Venue:
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges
Year:
2001

Citing 3
Cited 5

The TRY system -or- how to avoid testing student programs

SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Grading student programs using ASSYST

SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
Grading student programs - a software testing approach

CCSC '00 Proceedings of the fourteenth annual consortium on Small Colleges Southeastern conference

Rethinking computer science education from a test-first perspective

OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Improving student performance by evaluating how well students test their own programs

Journal on Educational Resources in Computing (JERIC)
Making program grading easier: but not totally automatic

Journal of Computing Sciences in Colleges
Weighted primary trait analysis for computer program evaluation

Journal of Computing Sciences in Colleges
Providing accurate and timely feedback by automatically grading student programming labs

Journal of Computing Sciences in Colleges

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper demonstrates the use of an automated program checker as a fast and effective technique for checking numerous programming assignments submitted by students. The process of designing and developing the checker is illustrated by a sample assignment. The paper concludes with a set of guidelines for preparing an assignment specification that is amenable to automated checking.