Tagged “constrained-random”
A glimpse on Metric Driven Verification Methodology