Automatic Synthesis of Random Generators for Numerically Constrained Algebraic Recursive Types

Ghiles Ziat, Vincent Botbol, Matthieu Dien +3

In program verification, constraint-based random testing is a powerful technique which aims at generating random test cases that satisfy functional properties of a program. However…