Xiaochen Li
Click:
The Last Update Time:..
Paper Publications
-
2024-05-15
王笑爽, zhouzhide, Xiaochen Li, jianghe, renzhilei.SMTLOC:基于多源频谱的SMT求解器缺陷定位[J],软件学报,2024
-
2024-05-15
Xiaochen Li, Guo, Shikai, Cheng, Hongyi, Jiang, He.Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning[J],IEEE TRANSACTIONS ON RELIABILITY,2024
Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024