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 Models
Jesús M. Almendros-Jiménez / Antonio Becerra-Terón / - How to construct a suite of program slices
David Insa / Sergio Pérez / Josep Silva / - A tool for the automatic generation of logical models of order-sorted first-order theories
Raúl Gutiérrez / Salvador Lucas / Patricio Reinoso /