Robust automatic tests for student assignments