KLEE相关论文
针对我国第三方物流产业迅猛发展,但对绩效评价缺乏整体研究,未形成科学、合理的物流绩效评价体系的现状,主要运用关键成功因素法......
从上个世纪至今,计算机的各个领域都取得了长足的进步,软件作为存储和管理信息的工具,已广泛深入到现实社会的各个领域,成为整个社......
在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达......
现代抽象表现主义画家保罗·克利以其作品风格的独特性与绘画理论的丰富性而闻名,德勒兹对克利“画出不可见之物”这一表达进......
旨在深化现有的共同配送体系构建研究，并为决策者提供共同配送联盟企业的选择方式。构建了共同配送中心联盟企业的指标体系，采用指数......
为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗......
为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并......
