I need to give this link from Jonathan Lange which was shared by David Millington some thought: Embedded in Academia : How to Fuzz an ADT Implementation. There they add fuzzers to help testing an ADT: in this case an Abstract Data*Type in the form of *a red-black tree. And then see if it can be ...
More...