Several years ago while driving through Nebraska in the middle of the night, a curious idea struck me. “We have systematic testing for software, and for hardware, but why not for networking?” Lucky for me, I was also searching for a thesis topic at the time. Most networks are carefully hand tuned and watched over by experienced network engineers and IT personnel. Unfortunately this leaves them vulnerable to human error, configuration mistakes, or rot from “moves, adds, and changes”.