Symbolic test case generations; Black box testing; Theorem proving; Network security; Firewall testing; Conformance testing;
机译:基于规范的测试环境中的测试用例优先级
机译:基于规范的测试环境中的测试用例优先级
机译:基于规范的测试环境中的测试用例优先级
机译:hol-TestGen / fw一个用于基于规范的防火墙一致性测试的环境
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:FW:用于Finlay-Wilkinson回归的R包其中包含环境之间的基因组/谱系信息和协方差结构
机译:使用HOL-TestGen生成测试序列 - 应用于防火墙测试