LogiAgent: Automated Logical Testing for REST Systems with LLM-Based Multi-Agents. - Ke Zhang; Chenxi Zhang 003; Chong Wang 013; Chi Zhang; YaChen Wu; Zhenchang Xing; Yang Liu 003; Qingshan Li; Xin Peng 001 (CoRR, 2025)