ISSTA 录用文章两篇

Fixed-Point Guided ADS Scenario Generation via Multi-Modal LLM Reasoning and Software Testing
Solving String Split Constraints via Structural Relaxation
被 CCF-A 类会议 ISSTA 2026 录用。