Towards Accurate Binary Correspondence Using Runtime-Observed Values | IEEE Conference Publication | IEEE Xplore