Using mutation analysis for a model-clone detector comparison framework | IEEE Conference Publication | IEEE Xplore