2 papers
cs.SE2026
SemaPLC: A Project-Grounded, Verification-Gated Agent Harness for PLC Code Generation
Yanlun Tu, Huacan Wang, Ziyue Zhou +10
Programmable logic controllers (PLCs) run industrial plants, and large language models can already generate independent program organization units (POUs) for them. Whether such log…
cs.SE2025
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community
Jiazhao Yu, Yanlun Tu, Zhanlei Zhang +5
Testing ultra-large microservices-based FinTech systems presents significant challenges, including restricted access to production environments, complex dependencies, and stringent…