Access control; Testing; Software; Automation; Proposals; Conferences;
机译:基于模型的测试Oracle生成,用于代理系统的自动单元测试
机译:基于可扩展访问控制标记语言的访问控制系统的自动化测试
机译:使用谓词/过渡网的基于角色的访问控制的基于模型的自动化测试
机译:用于访问控制系统的基于模型的自动化测试Oracle
机译:基于模型的测试Oracle的自动指导,以承认真实的程序行为。
机译:自动化电子邮件通知系统对出院前待测结果的影响:一项集群随机对照试验
机译:基于模型的测试oracles自动转向,以承认真实的程序行为