Topics covered: QuickCheck-style, generative testing, shrink testing in C.
Article author: Arthur Isaev