Artículo.
testigo. El vínculo entre el testigo y el editor hace que sea más fácil entender a los grandes testigos y navegar a través del código del arnés. Figura 14: Ejemplo de una definición de arnés para verificar una máquina de estado. 8. CONCLUSIONES El documento presenta un enfoque para mejorar la