Artículo.
rango y un cierto valor inicial, un enfoque presentado originalmente en [8]. El valor inicial permite la reproducción de la ejecución de verificación. Después del punto y coma especificamos cuántas veces se debe asignar aleatoriamente la variable. Nuevamente, el concepto de asignación aleatoria