A Don't Care Filling Method for Control Signals on State Transitions of Controllers to Minimize the Estimated Number of Test Patterns for Data-Paths. - Haruta Tokuta; Toshinori Hosokawa; Masayoshi Yoshimura; Masayuki Arai (ATS, 2025)