Generative testing for C++