Optimal test case generation for boundary value analysis. - Guo, Xiujing; Okamura, Hiroyuki; Dohi, Tadashi (Software Quality Journal, 2024)