PBit - a pattern-based testing framework for iptables
The ASTOOT approach to testing object-oriented programs