1.Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward

Xie, Xuan, Song, Jia     More...

Xie, Xuan, Song, Jiayang, Zhou, Zhehua, Huang, Yuheng, Song, Da, Ma, Lei     Less

IEEE Transactions on Artificial Intelligence[2691-4581], Published 2025,

收錄情况： SCOPUS

2.Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models

Huang, YH, Song, JY,     More...

Huang, YH, Song, JY, Wang, ZJ, Zhao, SM, Chen, HM, Juefei-Xu, F, Ma, L     Less

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 2025, Volume 51, Issue 2, Pages 413-429

收錄情况： WOS SCOPUS

WOS核心合集引用: 18  2024影響因子:  5.6 

3.GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model

Zhou, ZH, Xie, X, So     More...

Zhou, ZH, Xie, X, Song, JY, Shu, Z, Ma, L     Less

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS[2162-237X], Published 2025, Volume 36, Issue 6, Pages 10678-10692

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2024影響因子:  8.9 

4.LUNA: A Model-Based Universal Analysis Framework for Large Language Models

Song, D, Xie, X, Son     More...

Song, D, Xie, X, Song, JY, Zhu, DR, Huang, YH, Felix, JX, Ma, L     Less

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 2024, Volume 50, Issue 7, Pages 1921-1948

收錄情况： WOS SCOPUS

WOS核心合集引用: 9  2024影響因子:  5.6  发表年影響因子:  5.6 

5.Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation

Zhou, ZH, Song, JY,     More...

Zhou, ZH, Song, JY, Xie, X, Shu, Z, Ma, L, Liu, DK, Yin, JX, See, S     Less

2024 ACM/IEEE 46TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP 2024[2832-7640], Published 2024, Issue 2024, Pages 263-274

收錄情况： WOS SCOPUS

WOS核心合集引用: 25 

6.ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning

Zhou, ZH, Song, JY,     More...

Zhou, ZH, Song, JY, Yao, KP, Shu, Z, Ma, L     Less

2024 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, ICRA 2024[1050-4729], Published 2024, Pages 2081-2088

收錄情况： WOS SCOPUS

WOS核心合集引用: 40 

7.SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems

Song, JY, Xie, X, Ma     More...

Song, JY, Xie, X, Ma, L     Less

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 2023, Volume 49, Issue 8, Pages 4058-4080

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2024影響因子:  5.6  发表年影響因子:  6.5 

8.When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward

Song, JY, Lyu, DY, Z     More...

Song, JY, Lyu, DY, Zhang, ZY, Wang, ZJ, Zhang, TY, Ma, L     Less

2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2022), Published 2022, Pages 343-352

收錄情况： WOS

WOS核心合集引用: 20 

9.VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation

Zhijie Wang, Zhehua     More...

Zhijie Wang, Zhehua Zhou, Jiayang Song, Yuheng Huang, Zhan Shu, Lei Ma     Less

Proceedings of the ACM on Software Engineering[2994-970X], Published 2025, Volume 2, Issue FSE, Pages 1615-1638

10.Multilingual Blending: Large Language Model Safety Alignment Evaluation with Language Mixture

Jiayang Song, Yuheng     More...

Jiayang Song, Yuheng Huang, Zhehua Zhou, Lei Ma     Less

Findings of the Association for Computational Linguistics: NAACL 2025, Published 2025, Pages 3433-3449

11.AcTracer: Active Testing of Large Language Model via Multi-Stage Sampling

Yuheng Huang, Jiayan     More...

Yuheng Huang, Jiayang Song, Qiang Hu, Felix Juefei-Xu, Lei Ma     Less

ACM Transactions on Software Engineering and Methodology, Published 2025, Pages 1049-331X

12.LeCov: Multi-level testing criteria for large language models

Xie, X, Song, JY, Hu     More...

Xie, X, Song, JY, Huang, YH, Song, D, Juefei-Xu, F, Ma, L     Less

JOURNAL OF SYSTEMS AND SOFTWARE[0164-1212], Published 2026, Volume 235,

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  4.1 

13.Mosaic: model-based safety analysis for AI-enabled cyber physical system

Xie, X, Song, JY, Zh     More...

Xie, X, Song, JY, Zhou, ZH, Zhang, FY, Ma, L     Less

EMPIRICAL SOFTWARE ENGINEERING[1382-3256], Published 2026, Volume 31, Issue 3,

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  3.6 

14.TRUSTVIS: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language Models

Sun, RY, Song, D, So     More...

Sun, RY, Song, D, Song, JY, Huang, YH, Ma, L     Less

2025 40TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE[1527-1366], Published 2025, Pages 4082-4085

收錄情况： WOS SCOPUS

WOS核心合集引用: 0