Verification; Testing tools; Multi-agent systems;
机译:具有自动执行工具支持的T道测试数据生成策略的设计和实现
机译:自动化软件测试系统使用多功能系统特征方法
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:ECAT:一种用于在测试多功能机系统中自动化测试用例的工具
机译:用于测试分布式系统的自动化多代理框架
机译:从实验室中缺乏自动抗微生物易感测试系统的实验室中的直接抗菌易感性试验
机译:自动化Bicron测试仪:自动化电子仪器诊断,测试和校准生成系统
机译:测试执行控制工具:自动化航天器集成和测试中的测试