SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

已完结

文献求助详情

标题	SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification 相关领域混合试验计算机科学模糊测试象征性执行领域（数学分析）二进制数程序设计语言理论计算机科学计算机工程软件算术数学数学分析
网址	https://doi.org/10.1007/978-3-031-19992-9_5
DOI	10.1007/978-3-031-19992-9_5 doi
其它	期刊：Springer eBooks 作者：Soren Tempel; Vladimir Herdt; Rolf Drechsler 出版日期：2022-01-01
求助人	颜从筠在 2023-04-20 21:18:20 发布自美国，悬赏 10 积分
下载	该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。
	温馨提示：该文献已被科研通学术中心收录，前往查看科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。

Society for Industrial and Applied Mathematics (SIAM)

上个求助

该求助已完结，感谢关注

如需该文献，请重新发布求助，前往发布

站在巨人的肩膀上，才更有可能跳的更远

请遵守相关知识产权规定，勿将文件分享给他人，仅可用于个人研究学习

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

一分钟了解求助规则 | 捐赠本站 | 论文查重

更新

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

更新

新增期刊收藏功能 (2024-03-23)

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

建议保存本图，每天支付宝扫一扫（相册选取）领红包

实时播报: babulao发布了新的文献求助30

4秒前; 鉨汏闫完成签到，获得积分10

7秒前; damianjoker11完成签到，获得积分10

9秒前; 星辰大海的应助被camelots采纳，获得10

13秒前; 刻痕完成签到，获得积分10

15秒前; 黄金天下发布了新的文献求助100

16秒前; 星辰大海的应助被xiaolanou采纳，获得10

17秒前; 科研狂魔发布了新的文献求助10

20秒前; 迷你的觅翠发布了新的文献求助10

21秒前; 猛犸象冲冲冲发布了新的文献求助10

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

25秒前; 昵称吧完成签到，获得积分10

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

26秒前; 明同学完成签到，获得积分10

27秒前; 科研狂魔完成签到，获得积分10

31秒前; 超级店员发布了新的文献求助10

31秒前; 迷你的觅翠完成签到，获得积分10

33秒前; 科研通AI2.0上传了应助文件

36秒前; babulao完成签到，获得积分20

39秒前; 天天快乐上传了应助文件

41秒前; 高强发布了新的文献求助10

44秒前; 科研通AI2.0上传了应助文件

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

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

52秒前; 打打的应助被超级店员采纳，获得10

52秒前; 英姑上传了应助文件

53秒前; kk完成签到，获得积分10

53秒前; 科研通AI2.0上传了应助文件

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

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

57秒前; 科目三的应助被MEME采纳，获得10

58秒前; 在水一方上传了应助文件

59秒前; wBw发布了新的文献求助30

1分钟前; 浮生君瑶完成签到，获得积分10

1分钟前; chen发布了新的文献求助10

1分钟前; 秋雪瑶的应助被ccc采纳，获得10

1分钟前; ZCY完成签到，获得积分10

1分钟前; 科研通AI2S的应助被chen采纳，获得30

1分钟前; 科研通AI2.0上传了应助文件

1分钟前; 无花果的应助被xzy采纳，获得10

1分钟前