Wu Woan Kim Exhaustive Test Pattern Generation for Parallel Testing. 160-163 2002 conf/cata/2002 Computers and Their Applications db/conf/cata/cata2002.html#Kim02