SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
LLM4VV: Developing LLM-driven testsuite for compiler validation
计算机科学
编译程序
程序设计语言
软件工程
作者
Christian Munley,
Aaron Jarmusch,
Sunita Chandrasekaran
出处
期刊：
Future Generation Computer Systems
[Elsevier BV]
日期：2024-05-24
卷期号：160: 1-13
被引量：8
链接
arxiv.org
arxiv.org
doi.org
标识
DOI：10.1016/j.future.2024.05.034
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
活动
『应助活动周』获奖名单已公布 🔥
(2025-4-2)
更新
『中科院2025期刊分区』已更新
(2025-3-23)
更新
『即时热点』模块已上线
(2025-2-28)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
YY
完成签到，获得积分
10
刚刚
科研通AI2S
的
应助
被
动听寒凝
采纳，获得
10
1秒前
lucygaga
完成签到
，获得积分
10
5秒前
超帅柚子
完成签到
，获得积分
10
5秒前
熊巴巴
完成签到
，获得积分
10
5秒前
even
完成签到
，获得积分
10
5秒前
大白
完成签到
，获得积分
10
6秒前
可靠的亦竹
完成签到
，获得积分
10
7秒前
123321
完成签到，获得积分
10
9秒前
yuhong
完成签到，获得积分
10
11秒前
小稻草人
完成签到，获得积分
10
11秒前
余生
完成签到
，获得积分
10
12秒前
皮皮虾
完成签到，获得积分
10
18秒前
科研通AI2S
的
应助
被
yuhong
采纳，获得
10
20秒前
DYDI
完成签到
，获得积分
10
21秒前
畅快沁
完成签到，获得积分
10
21秒前
RAW
完成签到
，获得积分
10
25秒前
OAHCIL
完成签到
，获得积分
10
27秒前
瘦瘦的铅笔
完成签到
，获得积分
10
27秒前
安彩青
完成签到
，获得积分
10
28秒前
风中琦
完成签到
，获得积分
10
29秒前
瘦瘦的迎梦
完成签到
，获得积分
10
29秒前
鳄鱼队长
完成签到，获得积分
10
29秒前
番茄小超人
完成签到，获得积分
10
30秒前
热心的飞风
完成签到
，获得积分
10
30秒前
包容的若风
完成签到
，获得积分
10
32秒前
泥泞
完成签到
，获得积分
10
33秒前
念一
驳回了
我是老大
的
应助
34秒前
hhhee
完成签到，获得积分
10
35秒前
嘿嘿
完成签到
，获得积分
10
35秒前
Pursue
完成签到，获得积分
10
35秒前
西洲
完成签到
，获得积分
10
39秒前
欢呼妙菱
完成签到，获得积分
10
42秒前
Jerry
完成签到
，获得积分
10
44秒前
明亮豆芽
完成签到
，获得积分
10
45秒前
跳跃的白云
完成签到
，获得积分
10
45秒前
练得身形似鹤形
完成签到
，获得积分
10
48秒前
姜茶
完成签到
，获得积分
10
48秒前
小呵点
完成签到
，获得积分
10
49秒前
小柯基学从零学起
完成签到
，获得积分
10
50秒前
高分求助中
Les Mantodea de Guyane Insecta, Polyneoptera
2500
Technologies supporting mass customization of apparel: A pilot project
450
A Field Guide to the Amphibians and Reptiles of Madagascar - Frank Glaw and Miguel Vences - 3rd Edition
400
Brain and Heart The Triumphs and Struggles of a Pediatric Neurosurgeon
400
Cybersecurity Blueprint – Transitioning to Tech
400
Mixing the elements of mass customisation
400
Периодизация спортивной тренировки. Общая теория и её практическое применение
310
热门求助领域
（近24小时）
化学
材料科学
医学
生物
工程类
有机化学
物理
生物化学
纳米技术
计算机科学
化学工程
内科学
复合材料
物理化学
电极
遗传学
量子力学
基因
冶金
催化作用
热门帖子
关注
科研通微信公众号，转发送积分
3784858
求助须知：如何正确求助？哪些是违规求助？
3330118
关于积分的说明
10244374
捐赠科研通
3045503
什么是DOI，文献DOI怎么找？
1671716
邀请新用户注册赠送积分活动
800613
科研通“疑难数据库（出版商）”最低求助积分说明
759557
今日热心研友
cdercder
113
60
余味
26
150
平常的毛豆
17
190
back you up
15
150
斯寜
10
190
爱静静
25
kento
4
200
eee
200
HEIKU
8
100
MchemG
6
110
随遇而安
3
100
andrele
11
单薄天宇
6
40
归尘
100
勤劳的忆寒
80
今天只做一件事
80
bc
80
Singularity
7
827584450
70
jyy
2
40
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
cdercder
余味
平常的毛豆
back you up
斯寜
爱静静
kento
eee
HEIKU
MchemG
随遇而安
andrele
单薄天宇
归尘
勤劳的忆寒
今天只做一件事
bc
Singularity
827584450
jyy
皖公网安备34019202002308
