Exploring BDDs to reduce test pattern set. - Gabriel S. Porto; Paulo F. Butzen; Denis Teixeira Franco (LATS, 2017)