Analysis techniques for predicated code | IEEE Conference Publication | IEEE Xplore