Automating Component-Based Embedded Software Construction via Formal Synthesis and LLMs. - Sirui Liu; Wei Dong 006; Tiecheng Ma; Yanqi Dong; Dong Yang (SETSS, 2024)

CIPAC: A framework of automated software construction based on collective intelligence. - Jiaxin Liu; Yating Zhang; Yiwei Li 006; Tiecheng Ma; Wei Dong 006 (J. Syst. Softw., 2025)