CEA, LIST;
CEA, LIST;
INRIA Sophia-Antipolis;
CEA, LIST;
University of Utah;
CEA, LIST;
University of Utah;
机译:RUGRAT:使用大型生成的随机基准测试应用程序评估程序分析和测试工具以及编译器
机译:用于多线程Java程序的通用静态分析器
机译:基于整数编程的基于Web的大规模多目标静态测试生成
机译:使用随机生成的程序测试静态分析仪
机译:通过静态和动态分析对Java程序进行逆向工程以生成方案图
机译:如何在程序设置中估算即时医疗CD4测试的成本:以南非Alere Pima™分析仪为例
机译:随机生成的多面体用于测试数学编程算法