Access control; software testing; model-based testing; Petri nets; mutation analysis;
机译:使用自动模型的方法测试智能电视应用的可用性和可访问性
机译:使用谓词/过渡网的基于角色的访问控制的基于模型的自动化测试
机译:自动生成策略以测试访问控制软件
机译:基于模型的访问控制策略自动测试方法
机译:简述:使用基于模型的方法自动进行BBR拥塞控制攻击探索
机译:高校饮酒的系统方法:测试酒精控制政策的确定性模型的开发
机译:基于模型的访问控制策略自动测试方法