applying formal methods to networking : theory , techniques , and applications .
Symbolic execution and program testing