Developing an automated program checkers
Julia Isong · Journal of computing sciences in colleges · 2001
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.