Jinter: A Hint Generation System for Java Exercises. - Jorge A. Gonçalves; André L. Santos 001 (ITiCSE (1), 2023)