On Automatic Test Case Generation From Use Case Specification. - Duc-Hanh Dang; Trong-Nghia Be; Minh-Hai Dinh; Hoang-Lan Le (KSE, 2024)