The University of Arizona.;
机译:使用I / O和SLOC估计的基于分区的实时系统的基于需求的执行时间预测
机译:使用I / O和SLOC估计的基于分区的实时系统的基于需求的执行时间预测
机译:通过控制的自然语言要求验证,验证和测试COQ中的定时数据流动无功系统
机译:根据实时嵌入式系统的需求规范自动生成测试用例
机译:使用粒子群优化技术的基于需求的分区测试框架。
机译:推荐系统中基于动态划分的时间序列项目异常检测。
机译:基于时间的需求和具有自动测试用例生成的系统分区