A Probabilistic and Constraint Based Approach for Low Power Test Generation | IEEE Conference Publication | IEEE Xplore