The Effects of Difficulty-Based Question Adaptivity in Formative Assessment on Introductory Programming Learning. ICCE 2025.