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 13:42:30 发布自江西，悬赏 10 积分
下载
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

上个求助

下个求助

求助 / 应助时间线

2小时前，求助关闭

丁宇卓求助人 Lv71 关闭了本次求助。

说明重复发布【积分已退回】
2小时前

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

13:42:37 未找到该文献，机器人已退出，请等待人工下载

13:42:30 科研通AI机器人（新加坡）收到请求，开始寻找文献

13:42:30 已向机器人发送请求
2小时前

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

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

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

更新

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

更新

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

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

实时播报: 阳光又亦完成签到，获得积分10

刚刚; PBS发布了新的文献求助30

1秒前; 让地球种满香菜完成签到，获得积分20

1秒前; Lucas上传了应助文件

2秒前; sam完成签到，获得积分20

2秒前; 无机盐完成签到，获得积分10

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

3秒前; Hello的应助被GSQ采纳，获得10

3秒前; 认真绿蝶发布了新的文献求助10

3秒前; 大个的应助被foxp3采纳，获得10

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

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

4秒前; 香蕉觅云的应助被鬼才之眼采纳，获得10

6秒前; 李健上传了应助文件

6秒前; 一只饺子上传了应助文件

6秒前; 小博完成签到，获得积分10

6秒前; 酷波er的应助被lalala采纳，获得10

6秒前; 我是老大的应助被lanjq兰坚强采纳，获得10

7秒前; Hello上传了应助文件

7秒前; 洋葱炒鸡蛋发布了新的文献求助10

8秒前; weiwei发布了新的文献求助10

8秒前; 搜集达人上传了应助文件

8秒前; 忧心的冬天完成签到，获得积分10

8秒前; jintian完成签到，获得积分10

8秒前; chenhui完成签到，获得积分10

8秒前; 龙眼完成签到，获得积分10

9秒前; 不配.的应助被hyman采纳，获得50

9秒前; 认真绿蝶完成签到，获得积分10

10秒前; 胖豆完成签到，获得积分10

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

10秒前; 友好的天奇发布了新的文献求助20

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

11秒前; 患者065发布了新的文献求助10

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

11秒前; 简单的发夹发布了新的文献求助10

12秒前; 科研通AI2S上传了应助文件

12秒前; SHAN发布了新的文献求助10

12秒前; 可爱的函函的应助被ZWK采纳，获得10

13秒前; 小蘑菇的应助被顺心的莫茗采纳，获得10

14秒前; 小熊熊完成签到，获得积分10

15秒前