Beijing Institute of Technology China;
Beijing Institute of Technology;
Flow graphs; Explosions; Clustering algorithms; Software; Heuristic algorithms;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:基于代码模式和向后符号执行的不可行路径检测
机译:通过动态符号执行和基于覆盖率的模糊测试发现更深的错误
机译:基于聚类的分段符号执行
机译:耦合关系符号执行
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:基于图形的二进制代码执行路径探索平台,用于动态符号执行*