Itai Segall, Rachel Tzoref-Brill, Eitan Farchi: Using binary decision diagrams for combinatorial test design. ISSTA 2011: 254-264