Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams | IEEE Conference Publication | IEEE Xplore