Circuit Testing Based on Fuzzy Sampling with BDD Bases - Sediles, E.P.; Fernandez-Amoros, D.; Heradio, R. (Proceedings of the Annual Hawaii International Conference on System Sciences, 2023)