Efficient generation of test patterns using Boolean difference | IEEE Conference Publication | IEEE Xplore