Circuit Testing Based on Fuzzy Sampling with BDD Bases. - Elena Pinilla; David Fernández-Amorós; Ruben Heradio (HICSS, 2023)