C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers. - Kota Uchida; Katsuhiko Gondow (CSEDU (1), 2016)