Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. - Teru Ohashi; Tatsuhiro Tsuchiya (PRDC, 2017)