Novel test pattern generators for pseudo-exhaustive testing | IEEE Conference Publication | IEEE Xplore