Evidence driven object identification in procedural code | IEEE Conference Publication | IEEE Xplore