机译:术前TAVI评估的CT主动脉瓣环参数:手动后处理和自动化软件工具之间的比较研究
机译:作为单元测试工具的软件模型检查器的比较研究:工业案例研究
机译:人工神经网络和信息模糊网络作为软件测试中自动Oracle的比较研究
机译:工业控制软件手动和自动测试的比较研究
机译:工业监督控制和数据采集(SCADA)软件系统的自动化测试。
机译:心房颤动的自动风险评估(AURAS-AF)-促进抗凝和降低中风风险的自动化软件系统:一项集群随机对照试验的研究方案
机译:软件模型检验器作为单元测试工具的比较研究:工业案例研究