QuickCheck and SmallCheck clones for C++