一般总是试着生成最少数目的tests covering
SAGE, KLEE, S2E, Symbolic PathFinder
并行fuzzers Springfield：第一个商业fuzz云
Proj THUDBFuzz Paper Reading: Fuzzing: Hack, Art, and Science
原文：https://www.cnblogs.com/xuesu/p/14509469.html
