A framework for automatic verification of programing exercises

Programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techniques, Web-based tutoring...

Full description

Saved in:
Bibliographic Details
Published in:2009 2nd IEEE International Conference on Computer Science and Information Technology pp. 41 - 45
Main Authors: Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Format: Conference Proceeding
Language:English
Published: IEEE 01.08.2009
Subjects:
Animation
automatic program verification
Automatic testing
axiomatic theorem proving
Computer science
Computer science education
Educational programs
Inspection
Internet
model checking
programming exercises
Programming profession
Solids
Visual effects
ISBN:1424445191, 9781424445196
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techniques, Web-based tutoring systems that can play the role of teacher are increasingly considered. In this paper, we suggest a framework for automatic verification of program exercises without risking the execution of actual code. In our framework, we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the learners. Our framework is being implemented and employed in a real education university environment with some initial promising results.
ISBN:1424445191
9781424445196
DOI:10.1109/ICCSIT.2009.5234465