Benchmark testing; Tools; Programming; Cognition; Encoding; Concrete;
机译:具有竞争任务执行和版本破坏过程的时间受约束的N版本编程服务组件的优化
机译:浮点计算的符号执行
机译:使用符号执行检测GPU程序的库冲突-案例研究
机译:浮点符号执行:n-version编程的案例研究
机译:适配器合成:使用可扩展符号执行合成和修复程序
机译:用于网络协议实现和漏洞检测的模型指导的符号执行方法
机译:浮点符号执行:N版编程中的案例研究