LLM-Guided Requirement Scenario-Based Testing for Simulink Models.

Jincao Feng Ling Qin Jincao Feng Weikai Miao LLM-Guided Requirement Scenario-Based Testing for Simulink Models. TASE 2026 286-304 conf/tase/2026 https://doi.org/10.1007/978-3-032-30693-7_19 db/conf/tase/tase2026.html#QinFM26 streams/conf/tase Yilongfei Xu Jincao Feng Weikai Miao Learning from Failures: Translation of Natural Language Requirements into Linear Temporal Logic with Large Language Models. 204-215 2024 QRS https://doi.org/10.1109/QRS62785.2024.00029 conf/qrs/2024 db/conf/qrs/qrs2024.html#XuFM24 Yilongfei Xu Zhewei Wang Jinhao Liang Yueling Zhang Jincao Feng Weikai Miao Jiangtao Wang 0009 Geguang Pu S3DA: A 3D Point Cloud Based PCB Solder Defect Detection Algorithm. 115-130 2024 SFPVV https://doi.org/10.1007/978-981-96-1621-3_8 conf/sfpvv/2024 db/conf/sfpvv/sfpvv2024.html#XuWLZFMWP24 streams/conf/sfpvv Yihao Huang 0001 Liangru Sun Qing Guo 0005 Felix Juefei-Xu Jiayi Zhu 0002 Jincao Feng Yang Liu 0003 Geguang Pu ALA: Naturalness-aware Adversarial Lightness Attack. 2418-2426 2023 ACM Multimedia https://doi.org/10.1145/3581783.3611914 conf/mm/2023 db/conf/mm/mm2023.html#0001S0JZFLP23

Jincao Feng Weikai Miao Hanyue Zheng Yihao Huang 0001 Jianwen Li Zheng Wang 0005 Ting Su 0001 Bin Gu 0006 Geguang Pu Mengfei Yang Jifeng He 0001 FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. 2023 abs/2306.01260 CoRR https://doi.org/10.48550/arXiv.2306.01260 db/journals/corr/corr2306.html#abs-2306-01260

Liangru Sun Felix Juefei-Xu Yihao Huang 0001 Qing Guo 0005 Jiayi Zhu 0002 Jincao Feng Yang Liu 0003 Geguang Pu ALA: Adversarial Lightness Attack via Naturalness-aware Regularizations. 2022 abs/2201.06070 CoRR https://arxiv.org/abs/2201.06070 db/journals/corr/corr2201.html#abs-2201-06070

Hanyue Zheng Jincao Feng Weikai Miao Geguang Pu Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. 183-190 2021 TASE https://doi.org/10.1109/TASE52547.2021.00029 conf/tase/2021 db/conf/tase/tase2021.html#ZhengFMP21 Jincao Feng Weikai Miao Hanyue Zheng Yihao Huang 0001 Jianwen Li Zheng Wang 0005 Ting Su 0001 Bin Gu 0006 Geguang Pu Mengfei Yang Jifeng He 0001 FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. 1376-1386 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3417047 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#FengMZHL0SGPYH20 Weikai Miao Qianqian Yan Yihao Huang 0001 Jincao Feng Hanyue Zheng A Domain Experts Centric Approach to Formal Requirements Modeling and V&V of Embedded Control Software. 15-22 2019 APSEC https://doi.org/10.1109/APSEC48747.2019.00012 conf/apsec/2019 db/conf/apsec/apsec2019.html#MiaoYHFZ19 Yihao Huang 0001 Jincao Feng Hanyue Zheng Jiayi Zhu 0002 Shang Wang Siyuan Jiang Weikai Miao Geguang Pu Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. 1166-1169 2019 ASE https://doi.org/10.1109/ASE.2019.00128 conf/kbse/2019 db/conf/kbse/ase2019.html#HuangFZZWJMP19

Yihao Huang 0001 Jincao Feng Hanyue Zheng Jiayi Zhu 0002 Shang Wang Siyuan Jiang Weikai Miao Geguang Pu Prema: A Tool for Precise Requirements Editing, Modeling and Analysis. 2019 abs/1912.07817 CoRR http://arxiv.org/abs/1912.07817 db/journals/corr/corr1912.html#abs-1912-07817

Bin Gu 0006 Qing Guo 0005 Jifeng He 0001 Yihao Huang 0001 Siyuan Jiang Felix Juefei-Xu Jianwen Li Jinhao Liang Yang Liu 0003 Weikai Miao Geguang Pu Ling Qin Ting Su 0001 Liangru Sun Jiangtao Wang 0009 Shang Wang Zheng Wang 0005 Zhewei Wang Yilongfei Xu Qianqian Yan Mengfei Yang Yueling Zhang Hanyue Zheng Jiayi Zhu 0002