Evaluación de herramientas automatizadas para pruebas de software basadas en modelos Número de proyecto: 834-B7-749 Vigencia: De 01/Mar/2017 hasta 28/Feb/2020