Sesión 13: Verificación y Análisis Listado de artículos correspondientes a la sesión Verificación y Análisis Testing of ATL programs from Randomly Generated Ecore Test ModelsHow to construct a suite of program slicesA tool for the automatic generation of logical models of order-sorted first-order theories