Movie-tool for GUI recording, data mining, and learner evaluation | IEEE Conference Publication | IEEE Xplore