机译:自动学习使用行为并生成事件序列以对反应系统进行黑盒测试
机译:自动学习使用行为和对反应系统的黑盒式测试生成事件序列
机译:测试分布式系统:生成最少的同步测试序列,以检测输出移位故障
机译:测试分布式系统:生成测试序列,没有潜在的可控性和可观察性问题
机译:自动生成指令序列,以对处理器和片上系统进行基于软件的自检。
机译:植物系统生物学的焦点问题:生成信号通路及其靶标可测模型的生物信息学和系统生物学工具
机译:测试分布式系统:生成最少的同步测试序列,以检测输出移位故障
机译:煤炭发电先进煤气化系统的发展工作指向商业气化发电厂,二期。第12卷。两级夹带式结渣煤气化炉的冷流模型试验(附录)。