机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:使用软件模拟器作为黄金模型的基于FPGA的周期精确微处理器模拟器的单元级自动测试方法和系统
机译:使用基于平板电脑的移动软件包验证认知测试电池:国防自动神经行为评估(DANA)
机译:用于FPGA软件验证的自动测试平台
机译:资源受限平台中的自动化软件测试。
机译:罗氏线性阵列人乳头瘤病毒基因分型测试中使用的自动检测平台的验证
机译:用于软错误研究的新硬件/软件平台和新的1 / E中子源:在IsIs工厂测试FpGa