Active Learning for Efficient Testing of Student Programs