Generating High-Level Test Cases from Requirements using LLM: An Industry Study. - Satoshi Masuda; Satoshi Kouzawa; Kyousuke Sezai; Hidetoshi Suhara; Yasuaki Hiruta; Kunihiro Kudou (CoRR, 2025)