GUI Static Testing for Object-Oriented Programming Exercises. - Yoshiki Tateishi; Ushio Inoue (SNPD, 2019)