Efficient symbolic execution for software testing

待确认

文献求助详情

标题	Efficient symbolic execution for software testing 软件测试的高效符号执行相关领域象征性执行计算机科学混合试验抽象范围（计算机科学）可满足模理论程序设计语言软件解算器软件工程哲学认识论
网址	https://doi.org/10.1109/fmcad.2014.6987585
DOI	10.1109/fmcad.2014.6987585 doi
其它	期刊：作者：Johannes Kinder 出版日期：2014-10-01
求助人	丁宇卓在 2024-12-12 11:41:27 发布自江西，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

求助 / 应助时间线

请等待求助人确认

已经有人上传了文献，该状态下其他人无法上传，请等待求助人确认该文件是否是他需要的。
如果求助人在 48 小时内还未确认，系统默认应助成功，本求助将自动关闭。
1小时前

科研通AI2S 机器人Lv12 上传了文件

待审核 Efficient_symbolic_execution_for_software_testing.pdf (122.38 KB)
1小时前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

11:41:34 未找到该文献，机器人已退出，请等待人工下载

11:41:27 科研通AI机器人（美国洛杉矶）收到请求，开始寻找文献

11:41:27 已向机器人发送请求
1小时前

丁宇卓求助人 Lv71 发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

2024年影响因子查询已上线 (2024-6-20)

更新

大幅提高文件上传限制，最高150M (2024-4-1)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: 雪山飞龙发布了新的文献求助10

2秒前; 研友_VZG7GZ的应助被rgaerva采纳，获得10

3秒前; 香蕉觅云的应助被xiax03采纳，获得10

3秒前; 所所上传了应助文件

4秒前; 非常完成签到，获得积分10

5秒前; 香蕉觅云的应助被shuang0116采纳，获得10

5秒前; 顾矜上传了应助文件

5秒前; tudou发布了新的文献求助100

6秒前; 点点发布了新的文献求助10

9秒前; JamesPei的应助被listener采纳，获得10

9秒前; 桐桐的应助被Yanxb采纳，获得10

9秒前; 研友_VZG7GZ上传了应助文件

10秒前; 3W发布了新的文献求助10

11秒前; 沸羊羊完成签到，获得积分10

12秒前; lsq108完成签到，获得积分10

13秒前; JamesPei上传了应助文件

15秒前; lsq108发布了新的文献求助10

15秒前; 汉堡包上传了应助文件

16秒前; zenoalter发布了新的文献求助10

17秒前; 十一完成签到，获得积分10

17秒前; limbo完成签到，获得积分10

18秒前; 斯文败类的应助被3W采纳，获得10

18秒前; 完美世界上传了应助文件

19秒前; 汉堡包的应助被杨好圆采纳，获得10

19秒前; 哟喂发布了新的文献求助10

19秒前; 努力看文献的大头完成签到，获得积分10

19秒前; listener发布了新的文献求助10

20秒前; abc完成签到，获得积分10

21秒前; 今后上传了应助文件

21秒前; 酷波er上传了应助文件

23秒前; yu发布了新的文献求助10

23秒前; 桐桐上传了应助文件

24秒前; 独孤完成签到，获得积分10

24秒前; yyy发布了新的文献求助10

24秒前; 科研通AI2S的应助被charry采纳，获得10

25秒前; zyn发布了新的文献求助10

25秒前; 传统的妖妖发布了新的文献求助10

25秒前; 李小小完成签到，获得积分20

26秒前; 学啊学啊发发发布了新的文献求助10

27秒前; 研友_诺发布了新的文献求助10

29秒前