Kota Uchida, Katsuhiko Gondow. C-Helper: C Latent-error Static/Heuristic Checker for Novice Programmers. In James Onohuome Uhomoibhi, Gennaro Costagliola, Susan Zvacek, Bruce M. McLaren, editors, CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education, Volume 1, Rome, Italy, April 21-23, 2016. pages 321-329, SciTePress, 2016. [doi]
Abstract is missing.