A formal model of similarity testing for inheritance in object-oriented software | IEEE Conference Publication | IEEE Xplore