Combined Analysis of Compilation History and Transition in Similarity between Source Codes for Detecting Stumbling in Construction of Program Logic | IEEE Conference Publication | IEEE Xplore