hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing
hol-TestGen/fw - An Environment for Specification-Based Firewall Conformance Testing
复制标题
hol-TestGen/fw - 基于规范的防火墙一致性测试环境
DOI：
10.1007/978-3-642-39718-9_7
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
B. Wolff
中科院分区：
文献类型：
--
作者：
Achim D. Brucker;Lukas Brügger;B. Wolff
The hol-TestGen environment is conceived as a system for modeling and semi-automated test generation with an emphasis on expressive power and generality. However, its underlying technical framework Isabelle/hol supports the customization as well as the development of highly automated add-ons working in specific application domains.
