Generative testing tools for Go