Toward Tool-Independent Summaries for Symbolic Execution
Toward Tool-Independent Summaries for Symbolic Execution
复制标题
走向独立于工具的符号执行摘要
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Fragoso Santos, José
中科院分区：
文献类型：
--
作者：
Ramos, Frederico;Sabino, Nuno;Adão, Pedro;Naumann, David A.;Fragoso Santos, José
登录
查看更多内容
Gillian，第二部分：JavaScript 和 C 的真实世界验证
DOI：
10.1007/978-3-030-81688-9_38
发表时间：
2021
期刊：
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
P. Maksimovic;Sacha;J. Santos;Philippa Gardner
通讯作者：
Philippa Gardner
自动软件测试的进展：Test-Comp 2022
DOI：
--
发表时间：
2022
期刊：
Fundamental Approaches to Software Engineering
影响因子：
--
作者：
Dirk Beyer
通讯作者：
Dirk Beyer
通过合成适配器查找可替代的二进制代码
影响因子：
7.4
作者：
Vaibhav Sharma;Kesha Hietala;Stephen McCamant
通讯作者：
Stephen McCamant
JaVerT 2.0：JavaScript 的组合符号执行
影响因子：
--
作者：
Fragoso Santos J
通讯作者：
Fragoso Santos J
Gillian，第一部分：用于符号执行的多语言平台
DOI：
10.1145/3385412.3386014
发表时间：
2020
期刊：
--
影响因子：
--
作者：
Fragoso Santos J
通讯作者：
Fragoso Santos J