github.com/QuickChick/QuickChick (go): Randomized Property-Based Testing Plugin for Coq
Keywords: coq|testing