Semi-automatic Incompatibility Localization for Re-engineered Industrial Software | IEEE Conference Publication | IEEE Xplore