A greedy approach to object identification in imperative code | IEEE Conference Publication | IEEE Xplore