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 techinques, Webbased 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.
programming ezercises automatic program verification aziomatic theorem proving model checking
Tho T. Quan Phung H. Nguyen Thang H. Bui Linh V. Huynh Anh T. Do
Faculty of Computer Science and Engineering Hochiminh City University of Technology Hochiminh, Vietnam
国际会议
北京
英文
2598-2602
2009-08-08（万方平台首次上网日期，不代表论文的发表时间）