Debugging; Big Data applications; Instruments; Testing; Tools; Runtime; Flow graphs;
机译:方法级黑匣子单元测试中基于约束的测试用例生成框架
机译:以数据为中心的框架,用于调试高度并行的应用程序
机译:用于增强不规则JVM应用程序的方法级推测框架的设计
机译:用于调试大数据应用的方法级测试生成框架
机译:对大数据分析的自动测试和调试
机译:两步骤的层次假设集测试框架适用于有序类别上的基因表达数据
机译:FausT:形式验证,自动调试和软件测试生成的框架⋆