A partitioning method for achieving maximal test concurrency in pseudo-exhaustive testing | IEEE Conference Publication | IEEE Xplore