Jiayang Song

40 papers A* 2B 1Journal 33Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
AcTracer: Active Testing of Large Language Model via Multi-Stage Sampling.
ACM Trans. Softw. Eng. Methodol.
Yuheng Huang, Jiayang Song, Qiang Hu, Felix Juefei-Xu, Lei Ma
2026 J jnl
LeCov: Multi-level testing criteria for large language models.
J. Syst. Softw.
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Felix Juefei-Xu, Lei Ma
2026 J jnl
Modeling and Optimal Control of Spatiotemporal Malware Propagation in Underwater Wireless Sensor Networks.
IEEE Internet Things J.
Yulei Yang, Zehua Du, Jingjing Wang, Shuzhuo Chen, Jiayang Song
2026 J jnl
Mosaic: model-based safety analysis for AI-enabled cyber physical system.
Empir. Softw. Eng.
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2026 J jnl
Online Safety Analysis for LLMs: A Benchmark, an Assessment, and a Path Forward.
IEEE Trans. Artif. Intell.
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
2025 J jnl
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.
IEEE Trans. Neural Networks Learn. Syst.
Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma
2025 J jnl
Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models.
IEEE Trans. Software Eng.
Yuheng Huang, Jiayang Song, Zhijie Wang, Shengming Zhao, Huaming Chen, Felix Juefei-Xu, Lei Ma
2025 — conf
Multilingual Blending: Large Language Model Safety Alignment Evaluation with Language Mixture.
NAACL (Findings)
Jiayang Song, Yuheng Huang, Zhehua Zhou, Lei Ma
2025 J jnl
TRUSTVIS: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language Models.
CoRR
Ruoyu Sun, Da Song, Jiayang Song, Yuheng Huang, Lei Ma
2025 A* conf
TrustVis: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language Models.
ASE
Ruoyu Sun, Da Song, Jiayang Song, Yuheng Huang, Lei Ma
2025 J jnl
VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation.
Proc. ACM Softw. Eng.
Zhijie Wang, Zhehua Zhou, Jiayang Song, Yuheng Huang, Zhan Shu, Lei Ma
2024 J jnl
Active Testing of Large Language Model via Multi-Stage Sampling.
CoRR
Yuheng Huang, Jiayang Song, Qiang Hu, Felix Juefei-Xu, Lei Ma
2024 J jnl
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model.
CoRR
Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma
2024 A* conf
ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.
ICRA
Zhehua Zhou, Jiayang Song, Kunpeng Yao, Zhan Shu, Lei Ma
2024 J jnl
LADEV: A Language-Driven Testing and Evaluation Platform for Vision-Language-Action Models in Robotic Manipulation.
CoRR
Zhijie Wang, Zhehua Zhou, Jiayang Song, Yuheng Huang, Zhan Shu, Lei Ma
2024 J jnl
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
IEEE Trans. Software Eng.
Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
2024 J jnl
LeCov: Multi-level Testing Criteria for Large Language Models.
CoRR
Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma
2024 J jnl
MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems.
CoRR
Renzhi Wang, Zhehua Zhou, Jiayang Song, Xuan Xie, Xiaofei Xie, Lei Ma
2024 J jnl
Multilingual Blending: LLM Safety Alignment Evaluation with Language Mixture.
CoRR
Jiayang Song, Yuheng Huang, Zhehua Zhou, Lei Ma
2024 J jnl
Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward.
CoRR
Xuan Xie, Jiayang Song, Zhehua Zhou, Yuheng Huang, Da Song, Lei Ma
2024 — conf
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
ICSE-SEIP
Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See
2024 J jnl
Towards Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation: An Empirical Study.
CoRR
Zhijie Wang, Zhehua Zhou, Jiayang Song, Yuheng Huang, Zhan Shu, Lei Ma
2024 J jnl
Towards Understanding Retrieval Accuracy and Prompt Quality in RAG Systems.
CoRR
Shengming Zhao, Yuheng Huang, Jiayang Song, Zhijie Wang, Chengcheng Wan, Lei Ma
2023 J jnl
$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.
IEEE Trans. Software Eng.
Jiayang Song, Xuan Xie, Lei Ma
2023 J jnl
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.
CoRR
Deyun Lyu, Jiayang Song, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma, Jianjun Zhao
2023 J jnl
ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning.
CoRR
Zhehua Zhou, Jiayang Song, Kunpeng Yao, Zhan Shu, Lei Ma
2023 J jnl
LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
CoRR
Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma
2023 J jnl
Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models.
CoRR
Yuheng Huang, Jiayang Song, Zhijie Wang, Huaming Chen, Lei Ma
2023 J jnl
Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.
CoRR
Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma
2023 J jnl
Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics.
CoRR
Jiayang Song, Zhehua Zhou, Jiawei Liu, Chunrong Fang, Zhan Shu, Lei Ma
2023 J jnl
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
CoRR
Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See
2022 — conf
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
ICSE (SEIP)
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
2021 J jnl
When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward.
CoRR
Jiayang Song, Deyun Lyu, Zhenya Zhang, Zhijie Wang, Tianyi Zhang, Lei Ma
2018 J jnl
A Performance Analysis Model of TCP over Multiple Heterogeneous Paths for 5G Mobile Services.
CoRR
Jiayang Song, Ping Dong, Huachun Zhou, Tao Zheng, Xiaojiang Du, Mohsen Guizani
2018 J jnl
Bayer Image Demosaicking Using Eight-Directional Weights Based on the Gradient of Color Difference.
Symmetry
Yizheng Liu, Chengyou Wang, Hongming Zhao, Jiayang Song, Shiyue Chen
2017 B conf
A Performance Analysis Model for TCP over Multiple Heterogeneous Paths in 5G Networks.
GLOBECOM
Jiayang Song, Ping Dong, Huachun Zhou, Tao Zheng, Xiaojiang Du, Mohsen Guizani
2017 J jnl
A Scalable and Smart Hierarchical Wireless Communication Architecture Based on Network/User Separation.
IEEE Wirel. Commun.
Hongke Zhang, Ping Dong, Shui Yu, Jiayang Song
2016 J jnl
Link State Prediction-Based Reliable Transmission for High-Speed Railway Networks.
IEEE Trans. Veh. Technol.
Hongke Zhang, Wei Quan, Jiayang Song, Zhongbai Jiang, Shui Yu
2016 — conf
Modeling Link Quality for High-Speed Railway Networks Based on Hidden Markov Chain.
VTC Spring
Jiayang Song, Huachun Zhou, Wei Quan, Tao Zheng, Ping Dong
2016 J jnl
Modeling link quality for high-speed railway wireless networks based on hidden Markov chain.
EURASIP J. Wirel. Commun. Netw.
Jiayang Song, Huachun Zhou, Wei Quan, Tao Zheng, Ping Dong