Computer bugs; Testing; Topology; Tools; Network topology; Switches; Computational modeling;
机译:基于黑盒模型的Web应用程序中故障安全行为的回归测试
机译:分布式实时系统黑箱一致性测试的正式框架
机译:用于数据库应用程序黑盒回归测试的测试用例选择
机译:使用形式行为模型测试Black-Box SDN应用程序
机译:用于测试Web应用程序的正式的面向对象的测试模型。
机译:气候输入不确定的黑箱模型的优化—在向日葵表型设计中的应用
机译:基于模型的sDN应用黑盒测试