Motivación
Dado que probar todo es imposible, y en realidad del universo de entradas posibles vamos a poder probar solo un subconjunto, queremos elegir aquel subconjunto que tenga la mayor probabilidad posible de encontrar errores.
El desafío: ¡probar lo más posible con el menor esfuerzo posible! :)