publication venue for A generic embedded sequence generator for constrained-random validation with weighted distributions 2017