A case study of the static analysis of the quality of novice student programs.

Susan A. Mengel Vinay Yerramilli

Published in: SIGCSE (1999)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
novice programmers
abstract interpretation
java card
test generation
learning styles
learning environment
regular expressions
test suite
student learning
malicious code
matching algorithm
programming environments
case study