An agent-based approach to support formative assessment | IEEE Conference Publication | IEEE Xplore