PBit - a pattern-based testing framework for iptables
Selecting Software Test Data Using Data Flow Information