Artículo.
entrada explícitos aleatoriamente de una manera deliberada cuando no es factible la verificación exhaustiva del modelo en toda la gama de datos de entrada. Desalineamientos semánticos. Siempre existe la posibilidad de desajustes semánticos de interpretación del código entre el compilador C y el