Case study on semantic clone detection based on code behavior | IEEE Conference Publication | IEEE Xplore