Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams.

Andrea Bombarda, Angelo Gargantini

Browse the full ICST paper archive.