机译:用于分析二进制程序的有效动态Conolic执行框架的实现
机译:用于分析二进制程序的有效动态Conolic执行框架的实现
机译:使用针对Java程序的分布式condical测试扩展修改后的条件/决策覆盖
机译:通过程序仪器功能规划的Con Con Con Con Con Con Con Con Con Con Con Con Constum执行
机译:为安全应用程序扩展二进制程序的共模执行。
机译:类似于钙蛋白酶的蛋白参与溶组织变形虫的程序性细胞死亡的执行阶段。
机译:使用考核Concolic执行的RTL功能测试生成