使用规则导向的符号执行进行面向C 语言的单元测试数据生成
MZ Zhang, YZ Gong, YW Wang, DH Jin - 计算机科学技术学报, 2019 - jcst.ict.ac.cn
… Unit testing only tests functions instead of the whole program, … To overcome these limitations,
we propose a novel unit test … Cute: A concolic unit testing engine for C. In Proc. the 10th …
we propose a novel unit test … Cute: A concolic unit testing engine for C. In Proc. the 10th …
符号执行中的约束求解问题研究进展
邹权臣， 吴润浦， 马金鑫， 王欣， 辛伟… - 北京理工大学学报 …, 2019 - journal.bit.edu.cn
… CUTE and jCUTE:Concolic unit testing and explicit path model-checking tools[C]//International
Conference on Computer Aided Verification.[Sl]:Springer Berlin Heidelberg,2006:419-423…
Conference on Computer Aided Verification.[Sl]:Springer Berlin Heidelberg,2006:419-423…
[HTML][HTML] 程式控制流程劫持反制措施
LH Chen - 2015 - ir.lib.ncu.edu.tw
… As a result, on one hand, we apply security testing to uncover program buffer overflow … If
the input string is detected as a buffer overflow attack string, we would try to cure the attacking …
the input string is detected as a buffer overflow attack string, we would try to cure the attacking …
[PDF][PDF] 测试用例演化研究进展
张智轶， 陈振宇， 徐宝文， 杨瑞 - 软件学报, 2013 - jos.org.cn
… 4.2 面向覆盖的测试用例集扩增技术 Xu 等人将concolic testing 技术[60]引入到测试用例集扩增
技术中,提出导向测试用例集扩增技术[52].通过对 受影响测试用例的再执行,得到修改版本的一个…
技术中,提出导向测试用例集扩增技术[52].通过对 受影响测试用例的再执行,得到修改版本的一个…
[PDF][PDF] C/C++ 程序静态内存泄漏警报自动确认方法
李筱， 周严， 李孟宸， 陈园军， 王林章， 李宣东 - Journal of Software, 2017 - jos.org.cn
… memory leak warnings is proposed based on concolic testing. First, drawing on the memory
… Then the path information is used to guide the concolic testing and execute program in the …
… Then the path information is used to guide the concolic testing and execute program in the …
[PDF][PDF] 自动化漏洞利用研究进展
靳宪龙， 黄雅娟 - 现代计算机, 2019 - smllxzbz.github.io
: 网络空间安全斗争形式日趋复杂, 针对软件安全的攻防博弈愈演愈烈. 软件漏洞挖掘与利用的
复杂性及专业性, 使得大量工作仅能依靠安全专家完成. 近年来, 漏洞数量激增, 仅依靠安全专家已…
复杂性及专业性, 使得大量工作仅能依靠安全专家完成. 近年来, 漏洞数量激增, 仅依靠安全专家已…
符号执行技术及应用研究综述.
吴皓， 周世龙， 史东辉， 李强 - Journal of Computer …, 2023 - search.ebscohost.com
… CUTE and jCUTE:concolic unit testing and explicit path model-checking tools[C]//International
Conference on Computer Aided Verification.Berlin, Heidelberg:Springer,2006:419-423. […
Conference on Computer Aided Verification.Berlin, Heidelberg:Springer,2006:419-423. […
一种基于程序功能标签切片的制导符号执行分析方法
甘水滔， 王林章， 谢向辉， 秦晓军， 周林， 陈左宁 - 软件学报, 2018 - jos.org.cn
… 该程序从命令行可输入a,b,c,d,e,f 等选项,每个选项的输入将执行其对应的功 能函数,如a 选项
对应exe_a 函数等,选项e 和选项f 必须在选项c 使用之后有效.本文把程序的命令行选项开关 称为…
对应exe_a 函数等,选项e 和选项f 必须在选项c 使用之后有效.本文把程序的命令行选项开关 称为…
[PDF][PDF] 基于申威1621 数学库中的非精确结果异常处理①
张天罡， 王磊 - 2022 - csa.org.cn
… 在验 证软件的可靠性方面, 文献[6–8] 提出了测试工具DART, CUTE 等, 其中DART 可以对任何
… 文献[16] 对基于IEEE 754 规范下的浮点异常问 题进行了深入研究, 分析并总结出面向C 语言环境…
… 文献[16] 对基于IEEE 754 规范下的浮点异常问 题进行了深入研究, 分析并总结出面向C 语言环境…
约束优化技术在测试用例生成中的实证研究
… CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European Software
Engineering Conference Held Jointly With 13th ACM SIGSOFT International Symposium on …
Engineering Conference Held Jointly With 13th ACM SIGSOFT International Symposium on …