How to Fuzz an ADT Implementation
blog.regehr.org