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

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!