Computer programs; Software engineering; Software reliability; Program verification(Computers); Subroutines; Subroutine libraries(Computers); Data sampling; Computer systems performance; Floating point arithmetic; Trigonometric functions;
机译:使用手动和自动技术研究网站项目中的缺陷,测试案例和测试挑战
机译:具有状态图的面向对象软件的最小测试用例生成
机译:在顺磁系统中寻找反应性电子:以1,3,5-三苯基Verdazyl自由基为测试例的EPR光谱和密度泛函理论精度的批判性评估
机译:嵌入式系统中数值支持功能的自动测试用例生成
机译:面向离散事件的实时嵌入式系统的自动化测试生成。
机译:嵌入式系统用于标记植物图像的自动化生成使机器学习应用在农业中
机译:一种支持和自动化基于组件的嵌入式系统的开发的工具。