Translation of the problem of complete test set generation to pseudo-Boolean programming | IEEE Journals & Magazine | IEEE Xplore