A Logic-Guided and Explainable Approach to LLM-Based Unit Test Generation. - Zeng, Cong; Li, Meng; Liu, Fei; Yang, Xiaohua; Liu, Jie; Yan, Shiyu (Applied Sciences (2076-3417), 2026)