Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams | Publicación