University of California Los Angeles.;
Big data analytics; Cloud computing; Data-intensive scalable computing; Debugging; Map reduce; Testing;
机译:自动生成(F)LTL oracle以进行测试和调试
机译:自动化测试生成,用于调试算术电路中的多个错误
机译:在基于测试平台的验证环境中进行自动设计调试
机译:交互式和自动化的大数据分析调试
机译:在现代开发周期中自动化数字设计调试的新颖方法
机译:数据密集型可扩展计算中的自动调试
机译:saT和QBF求解器的自动测试和调试