EMMA: a web-based report system for programming course--automated verification and enhanced feedback.
Kumiko Tanaka-IshiiKazuhiko KakehiMasato TakeichiPublished in: ITiCSE (2004)
Keyphrases
- programming course
- automated verification
- peer assessment
- programming assignments
- model checking
- automated reasoning
- automatic assessment
- formal verification
- multiple choice questions
- programming education
- student learning
- novice programmers
- introductory programming
- computer programming
- source code
- theorem proving
- introductory programming courses
- introductory computer
- machine learning
- learning platform
- knowledge management