Artículo.
13: Ejemplo de una definición de arnés para verificar una función con parámetros de entrada / salida. 5.3 Cat III: Verificación basada en el estado Otra categoría de SUV que normalmente se encuentra en la práctica se representa por casos en los que el componente de software contiene un estado