SmartTutor: Creating IDE-based interactive tutorials via editable replay | IEEE Conference Publication | IEEE Xplore