article

Developing an automated program checkers

Editor: John G. Meinke Author:

Julia IsongAuthors Info & Claims

Journal of Computing Sciences in Colleges, Volume 16, Issue 3

Pages 218 - 224

Published: 01 March 2001 Publication History

Get Access

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.

References

[1]

Jackson, D. and Usher, M. Grading Student Programs Using ASSYST. Proceedings SIGCSE '97, (1997) 335-339.

Crossref

Google Scholar

[2]

Jones, E.L. Grading Student Programs: A Software Testing Approach. Journal of Computing in Small Colleges 16, 2 (January 2001), 185-192.

Crossref

Google Scholar

[3]

Reek, K.A., "The TRY System - or - How to Avoid Testing Student Programs," Proceedings SIGCSE Bulletin vol.21, 1 (February 1989), 112-116.

Crossref

Google Scholar

Cited By

View all

Edmison BEdwards SBabb LEllis MMayfield CJung YHonts MDoyle MStephenson BDorn BSoh LBattestilli L(2023)Toward a New State-level Framework for Sharing Computer Science ContentProceedings of the 54th ACM Technical Symposium on Computer Science Education V. 110.1145/3545945.3569808(59-65)Online publication date: 2-Mar-2023
https://dl.acm.org/doi/10.1145/3545945.3569808
Blanchard JHott JBerry VCarroll REdmison BGlassey RKarnalim OPlancher BRussell SQuille KAlshaigy BBecker BQuille KLaakso M(2022)Stop Reinventing the Wheel! Promoting Community Software in Computing EducationProceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education10.1145/3571785.3574129(261-292)Online publication date: 27-Dec-2022
https://dl.acm.org/doi/10.1145/3571785.3574129
Blanchard JHott JBerry VCarroll REdmison BGlassey RKarnalim OPlancher BRussell SBecker BQuille KLaakso MBarendsen ESimon (2022)Leveraging Community Software in CS Education to Avoid Reinventing the WheelProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 210.1145/3502717.3532169(580-581)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502717.3532169
Show More Cited By

Recommendations

Developing an automated program checkers
Proceedings of the seventh annual consortium for computing in small colleges central plains conference on The journal of computing in small colleges

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 ...
Developing an automated program checkers
Proceedings of the twelfth annual CCSC South Central conference on The journal of computing in small colleges

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 ...
Certifying Model Checkers
CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification

Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample computation if the check fails. This computation acts as a "certificate" of ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Computing Sciences in Colleges

Journal of Computing Sciences in Colleges Volume 16, Issue 3

March 2001

365 pages

ISSN:1937-4771

EISSN:1937-4763

Editor:
John G. Meinke
Univ. of System of Maryland

Issue’s Table of Contents

Publisher

Consortium for Computing Sciences in Colleges

Evansville, IN, United States

Publication History

Published: 01 March 2001

Published in JCSC Volume 16, Issue 3

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
428
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Edmison BEdwards SBabb LEllis MMayfield CJung YHonts MDoyle MStephenson BDorn BSoh LBattestilli L(2023)Toward a New State-level Framework for Sharing Computer Science ContentProceedings of the 54th ACM Technical Symposium on Computer Science Education V. 110.1145/3545945.3569808(59-65)Online publication date: 2-Mar-2023
https://dl.acm.org/doi/10.1145/3545945.3569808
Blanchard JHott JBerry VCarroll REdmison BGlassey RKarnalim OPlancher BRussell SQuille KAlshaigy BBecker BQuille KLaakso M(2022)Stop Reinventing the Wheel! Promoting Community Software in Computing EducationProceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education10.1145/3571785.3574129(261-292)Online publication date: 27-Dec-2022
https://dl.acm.org/doi/10.1145/3571785.3574129
Blanchard JHott JBerry VCarroll REdmison BGlassey RKarnalim OPlancher BRussell SBecker BQuille KLaakso MBarendsen ESimon (2022)Leveraging Community Software in CS Education to Avoid Reinventing the WheelProceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 210.1145/3502717.3532169(580-581)Online publication date: 7-Jul-2022
https://dl.acm.org/doi/10.1145/3502717.3532169
Nordquist P(2007)Providing accurate and timely feedback by automatically grading student programming labsJournal of Computing Sciences in Colleges10.5555/1292428.129243223:2(16-23)Online publication date: 1-Dec-2007
https://dl.acm.org/doi/10.5555/1292428.1292432
Smith LCordova J(2005)Weighted primary trait analysis for computer program evaluationJournal of Computing Sciences in Colleges10.5555/1060405.106040920:6(14-19)Online publication date: 1-Jun-2005
https://dl.acm.org/doi/10.5555/1060405.1060409
Edwards SCrocker RSteele GGabriel R(2003)Rethinking computer science education from a test-first perspectiveCompanion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications10.1145/949344.949390(148-155)Online publication date: 26-Oct-2003
https://dl.acm.org/doi/10.1145/949344.949390
Edwards S(2003)Improving student performance by evaluating how well students test their own programsJournal on Educational Resources in Computing10.1145/1029994.10299953:3(1-es)Online publication date: 1-Sep-2003
https://dl.acm.org/doi/10.1145/1029994.1029995

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Developing an automated program checkers

Developing an automated program checkers

Certifying Model Checkers