Model-based testing; Software test tools; Domain-specific language; Extended finite-state machines; Component-based systems; Exception testing;
机译:基于模型的Apache zookeeper测试:基本API使用和观察者
机译:经测试,蜜蜂(Apis cerana,Apis dorsata,Apis florea)中的粗毒提取物具有抗微生物活性
机译:以控制器为中心的组合式环绕交互测试,以评估有状态的基于PCE的传输网络体系结构
机译:基于模型的Modbat的状态测试
机译:用于软件安装测试的基于模型的测试分析方法。
机译:基于模型的动态胰岛素敏感性和分泌测试(DISST)的设计和临床试验测试
机译:使用Modbat对状态API进行基于模型的测试