[ES] La verificación del correcto funcionamiento de un sistema tiende a sufrir de "explosión combinatoria", debido a la gran cantidad de entradas y combinaciones a verificar. En particular cuando se realiza la prueba ...