New Constrained Random and Metric-Driven Verification Methodology using Python

Author(s):
Marek Ciepłucha and Witold Pleskacz