Arizona State University.;
机译:组件集成效果图:基于组件的软件的黑盒测试和测试用例生成技术
机译:基于知识的测试计划生成器,用于增量单元和集成软件测试
机译:基于模型检查和基于模型的工业软件开发测试
机译:拉曼激光光谱仪飞行模型组装和集成验证:热带组件的端到端功能测试重新定义
机译:开发和测试XP嵌入式系统:一种基于组件的软件方法。
机译:即时自动点对点血液测试:机器人放血与下游样本处理的集成
机译:基于模型的软件系统测试:功能和性能
机译:基于LsI / VLsI(超大规模集成)故障覆盖测量系统的功能测试