Sesión 13: Verificación y Análisis
Listado de artículos correspondientes a la sesión Verificación y Análisis
- A tool for the automatic generation of logical models of order-sorted first-order theories
Raúl Gutiérrez / Salvador Lucas / Patricio Reinoso / - How to construct a suite of program slices
David Insa / Sergio Pérez / Josep Silva / - Testing of ATL programs from Randomly Generated Ecore Test Models
Jesús M. Almendros-Jiménez / Antonio Becerra-Terón /