Department of Computer Science and Engineering Indian Institute of Technology Hyderabad Kandi India;
Symbolic execution; Incremental solving; Software bug detection;
机译:定向增量符号执行
机译:定向增量符号执行
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:Pinaka:符号执行符合增量解决(竞争贡献)
机译:EZSMT解算器:约束答案集解满足SMT。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:Pinaka:符号执行符合增量求解
机译:定向增量符号执行