Graph-matching-based simulation-region selection for multiple binaries | IEEE Conference Publication | IEEE Xplore