Artículo.
espacio de entrada pueden verificarse exhaustivamente, siempre que la ejecución del SUV sea lo suficientemente rápida. Combinando pruebas con verificación de modelos. Como se describe en [8] Spin permite combinar una verificación exhaustiva del modelo con pruebas, p. generando algunos datos de