Five years with kattis — Using an automated assessment system in teaching | IEEE Conference Publication | IEEE Xplore