机译:Symbolic PathFinder:将符号执行与模型检查集成在一起,以进行Java字节码分析
机译:通过动态符号执行,IEC 61131-3 ST程序自动测试生成
机译:最新技术:用于自动测试生成的动态符号执行
机译:通过符号代码执行自动安全分析动态Web应用程序
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:SVAw-基于网络的应用工具用于基因表达研究的自动替代变量分析
机译:Ruby-on-Rails Web应用程序的符号安全性分析