Fault detection; Computer bugs; Input variables; Open area test sites; Computer science; Usability;
机译:符号执行调试器(SED):用于交互式符号执行,调试,验证等的平台
机译:正式解释的符号执行
机译:通过符号执行程序来检测错误的正式模型
机译:TBFV-SE:具有符号执行功能的基于测试的形式验证
机译:符号模拟在微处理器形式验证中的应用。
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:使用符号执行的正式程序验证