CTL; Conformance testing; Model checking; web applications; web browser's interactions;
机译:基于模型检查的Web应用程序测试
机译:集成的多代理测试工具,用于基于代理的Web应用程序的安全性检查
机译:基于模型的变异测试的符号输入-输出一致性检查
机译:基于模型检查Web应用程序的一致性测试
机译:用于Web应用程序漏洞分析的模型检查技术
机译:Web应用程序中基于注入的基于搜索的XML注入的多漏洞测试
机译:模型检查基于Web的应用程序的驱动安全测试