Mining Software Engineering Team Project Work Logs to Generate Formative Assessment | IEEE Conference Publication | IEEE Xplore