code accompanying a blog post about fuzzing a red-black tree implementation:
http://blog.regehr.org/archives/896