Xiaochen Li

Click:

The Last Update Time:..

Recommended MA Supervisor

Current position: Home > Scientific Research > Paper Publications

Paper Publications

Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning
Release Time:2024-05-15  Hits:

Indexed by:Journal Papers
Document Code:383176
Date of Publication:2024-06-18
Journal:IEEE TRANSACTIONS ON RELIABILITY
Volume:73
Issue:2
Page Number:1060-1074
ISSN:0018-9529
Key Words:BUGS; OPERATIONAL SEMANTICS

Prev One:SMTLOC:基于多源频谱的SMT求解器缺陷定位

Address: No.2 Linggong Road, Ganjingzi District, Dalian City, Liaoning Province, P.R.C., 116024