大连理工大学主页平台管理系统李晓晨 Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning 中文主页

大连理工大学| 登录| English |手机版

同专业硕导

李晓晨 ( 副教授 ) 赞
个人主页 http://faculty.dlut.edu.cn/lixiaochen/zh_CN/index.htm

副教授硕士生导师

论文成果当前位置：中文主页 >> 科学研究 >> 论文成果

Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning

点击次数：
发布时间：2024-05-15
论文类型：期刊论文
论文编号：383176
发表时间：2024-06-18
发表刊物：IEEE TRANSACTIONS ON RELIABILITY
卷号：73
期号：2
页面范围：1060-1074
ISSN号：0018-9529
关键字：BUGS; OPERATIONAL SEMANTICS

上一条： SMTLOC:基于多源频谱的SMT求解器缺陷定位