Engines; Security; Tools; Resilience; Software; Parallel programming;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:用可靠的知识代替猜想:使用符号执行推断出经过验证的精确的最坏情况执行时间范围
机译:制造符号执行的弹性双不透明谓词
机译:系统编译以执行谓词。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:使用符号执行验证并发系统:时间推理是符号执行的一点点归纳