added AutoGrader specs