文档
专题
会议
全部
直播间
北京
上海
广州
深圳
南京
杭州
武汉
成都
合肥
苏州
社企号
分类
信息技术
创业投资
社会人文
财务财经
人力资源
未分类
申请试用
HOT
登录
注册
首页
文档
专题
会议
全部
直播间
北京
上海
广州
深圳
南京
杭州
武汉
成都
合肥
苏州
社企号
分类
信息技术
创业投资
社会人文
财务财经
人力资源
未分类
登录
消息
退出
确定
快速创建
×
创建文档
共享会议文档及视频
创建专题
关联相同主旨文档
线上活动
创建网络直播研讨会
线下活动
创建线下交流沙龙
Learning to test compilers
1
点赞
0
收藏
0下载
Null
/
发布于
/
1788
人观看
信息技术
编译器作为一个特殊的软件,和普通软件一样存在各种各样的bug,但是如何测试并找到其中的bug,寻找最高效的方法确有不一样的地方,其中样例测试程序本身选择对于找到编译器bug至关重要,LET采用了机器学习算法预先计算测试代码特性及其运行时间,根据训练模型自动生成c语言的bug验证代码,并对验证代码按照一定规则进行排序调度,减少了编译器bug发现和运行对时间。
展开查看详情
1
点赞
0
收藏
0下载
相关文档
Null
加关注
null==undefined(JobsFE)
删除
×
确定删除吗?
联系我们
×
留下您的信息,稍后我们将与您联系。
姓名
*
手机号码
*
电子邮件
*
职位
*
公司
*
微信号
*
提交成功
×
稍后我们将与您联系。