Exhaustive simulation need not require an exponential number of tests | IEEE Conference Publication | IEEE Xplore