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