Experimental analysis of models for correlation in multiversion software | IEEE Conference Publication | IEEE Xplore