Towards Scalable Compositional Test Generation. - Tao Sun; Zheng Wang 005; Geguang Pu; Xiao Yu; Zongyan Qiu; Bin Gu 006 (QSIC, 2009)

SPARDL: A Requirement Modeling Language for Periodic Control System. - Zheng Wang 005; Jianwen Li; Yongxin Zhao; Yanxia Qi; Geguang Pu; Jifeng He 001; Bin Gu 006 (ISoLA (1), 2010)

Constraint Checking for XML-Based Language Specification by SAT Solver. - Hao Xiao; Zheng Wang 005; Geguang Pu; Bin Gu 006 (SSIRI (Companion), 2010)

An Event-B Interpretation for SPARDL Model. - Jianwen Li; Zheng Wang 005; Yongxin Zhao; Geguang Pu; Yanxia Qi; Bin Gu 006 (HASE, 2011)

Static Data Race Detection for Interrupt-Driven Embedded Software. - Rui Chen; Xiangying Guo; Yonghao Duan; Bin Gu 006; Mengfei Yang (SSIRI (Companion), 2011)

An Embedded Operating System Design for the Lunar Exploration Rover. - Lei Qiao 002; Mengfei Yang; Bin Gu 006; Hua Yang; Bo Liu (SSIRI (Companion), 2011)

An Approach to Requirement Analysis for Periodic Control Systems. - Jianwen Li; Geguang Pu; Zheng Wang 005; Yuxiang Chen; Liyun Zhang; Yanxia Qi; Bin Gu 006 (SEW, 2012)

Cyber-physical Systems Modeling Method Based on Modelica. - Junjie Tang; Jianjun Zhao; Jianwan Ding; Liping Chen; Gang Xie; Bin Gu 006; Mengfei Yang (SERE (Companion), 2012)

A Type System for SPARDL. - Zheng Wang 005; Geguang Pu; Jianwen Li; Bin Gu 006 (TASE, 2012)

The stochastic semantics and verification for periodic control systems. - Mengfei Yang; Zheng Wang 005; Geguang Pu; Shengchao Qin; Bin Gu 006; Jifeng He 001 (Sci. China Inf. Sci., 2012)

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems - Zheng Wang 005; Geguang Pu; Shengchao Qin; Jianwen Li; Kim G. Larsen; Jan Madsen; Bin Gu 006; Jifeng He 001 (CoRR, 2012)

MDM: A Mode Diagram Modeling Framework - Zheng Wang 005; Geguang Pu; Jianwen Li; Jifeng He 001; Shengchao Qin; Kim G. Larsen; Jan Madsen; Bin Gu 006 (FTSCS, 2012)

A novel requirement analysis approach for periodic control systems. - Zheng Wang 005; Geguang Pu; Jianwen Li; Yuxiang Chen; Yongxin Zhao; Mingsong Chen 001; Bin Gu 006; Mengfei Yang; Jifeng He 001 (Frontiers Comput. Sci., 2013)

Formal Verification of a Descent Guidance Control Program of a Lunar Lander. - Hengjun Zhao; Mengfei Yang; Naijun Zhan; Bin Gu 006; Liang Zou; Yao Chen (FM, 2014)

Verifying safety critical task scheduling systems in PPTL axiom system. - Nan Zhang 001; Mengfei Yang; Bin Gu 006; Zhenhua Duan; Cong Tian (J. Comb. Optim., 2016)

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. - Jincao Feng; Weikai Miao; Hanyue Zheng; Yihao Huang 001; Jianwen Li; Zheng Wang 005; Ting Su 001; Bin Gu 006; Geguang Pu; Mengfei Yang; Jifeng He 001 (ESEC/SIGSOFT FSE, 2020)

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. - Bohua Zhan; Bin Gu 006; Xiong Xu; Xiangyu Jin; Shuling Wang 003; Bai Xue 001; Xiaofeng Li; Yao Chen; Mengfei Yang; Naijun Zhan (RTAS, 2021)

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. - Fuchen Ma; Zhenyang Xu; Meng Ren; Zijing Yin; Yuanliang Chen; Lei Qiao 002; Bin Gu 006; Huizhong Li; Yu Jiang 001; Jia-Guang Sun 001 (IEEE Trans. Software Eng., 2022)

Improve Software Development: An Overview of Program Synthesis. - Heran Wang; Xiaogang Dong; Bin Gu 006; Xiaofeng Li; Ruiming Zhong (ICSED, 2023)

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. - Chao Li 078; Rui Chen; Boxiang Wang; Zhixuan Wang; Tingting Yu; Yunsong Jiang; Bin Gu 006; Mengfei Yang (ISSTA, 2023)

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. - Jiang Liu 009; Han Su 003; Yunjun Bai; Bin Gu 006; Bai Xue 001; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. - Han Su 003; Jiyu Zhu; Shenghua Feng; Yunjun Bai; Bin Gu 006; Jiang Liu 009; Mengfei Yang; Naijun Zhan (CoRR, 2023)

Towards Better Semantics Exploration for Browser Fuzzing. - Chijin Zhou; Quan Zhang; Lihua Guo; Mingzhe Wang; Yu Jiang 001; Qing Liao 001; Zhiyong Wu 010; Shanshan Li 001; Bin Gu 006 (Proc. ACM Program. Lang., 2023)

An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs. - Xinbang Hu; Guanjun Liu; Xiaofeng Li; Kaiwen Zhang 010; Jian Guan; Bin Gu 006 (ICNSC, 2024)

Test Case Generation for Simulink Models using Model Fuzzing and State Solving. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Wanli Chang 001; Bin Gu 006; Yu Jiang 001 (ASE, 2024)

A Contract-Based Framework for Formal Verification of Embedded Software. - Xu Lu 003; Cong Tian; Bin Gu 006; Bin Yu 008; Chen Chen; Zhenhua Duan (SETTA, 2024)

Data Coverage for Guided Fuzzing. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Zhiyong Wu 010; Jingzhou Fu; Zhuo Su 005; Qing Liao 001; Bin Gu 006; Bodong Wu; Yu Jiang 001 (USENIX Security Symposium, 2024)

Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets. - Kaiwen Zhang 010; Guanjun Liu; Yantao Sun; Xiaofeng Li; Jian Guan; Yi Xie; Bin Gu 006 (Int. J. Softw. Informatics, 2024)

Reset controller synthesis: a correct-by-construction way to the design of CPS. - Naijun Zhan; Han Su 003; Mengfei Yang; Bin Gu 006 (Res. Dir. Cyber Phys. Syst., 2024)

Oneshotimizer: Consistent and Effective NAS via Regularizing Gradient Norm and Weight Variance. - Longxing Yang; Xiaofeng Li; Xiaogang Dong; Bin Gu 006 (ICIC (16), 2025)

Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software. - Longxing Yang; Yixing Luo; Hao Gao 009; Yingshuang Fan; Jingru Zhang; Xiaofeng Li; Xiaogang Dong; Bin Gu 006; Zhi Jin; Mengfei Yang (SIGSOFT FSE Companion, 2025)

STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. - Jinwei Liu; Chao Li 078; Rui Chen; Shaofeng Li; Bin Gu 006; Mengfei Yang (Proc. ACM Softw. Eng., 2025)

Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries. - Fanpeng Yang; Xu Ma; Shuling Wang 003; Xiong Xu; Qinxiang Cao; Naijun Zhan; Xiaofeng Li; Bin Gu 006 (CoRR, 2025)

Derivative-Agnostic Inference of Nonlinear Hybrid Systems. - Hengzhi Yu; Bohan Ma; Mingshuai Chen; Jie An 001; Bin Gu 006; Naijun Zhan; Jianwei Yin (CoRR, 2025)