Yili Jiang, Zhuoran Yan, Ning Ge 0002, Yuan Wang, Jiahao Weng, Chunming Hu. LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability. In Elvira Albert, Corina S. Pasareanu, editors, Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings. Volume 16504 of Lecture Notes in Computer Science, pages 64-85, Springer, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.