А что наборы автоматических тестов не помогают?
Когда я ездил на олимпиады, там каждую программу надо было прогонять через тесты. Тесты были для каждой задачи, и их было много. В совокупности тесты покрывали каждый граничный случай области задачи.
Так вот отправляешь программу на тест, а тебе приходит ответ: "не пройдены тесты N1, N2..." И всё - сам догадывайся, где косяк.
Я не знаю, как ии тут может помочь, они пока ещё не могут в тонкости.

П.С. А если и когда смогут, то ваши ученики уже нахрен будут не нужны. О чём, кстати, предупреждал в этом году Хуанг.