JeeHyun Hwang Tao Xie Fei Chen Alex X. Liu Systematic Structural Testing of Firewall Policies. 105-114 2008 SRDS http://dx.doi.org/10.1109/SRDS.2008.34 conf/srds/2008 db/conf/srds/srds2008.html#HwangXCL08