Technical "whitepaper" for afl-fuzz (via krtab) — discussion

#formalmethods #testing