Herramientas para la evaluación de la cobertura de pruebas de aplicaciones con bases de datos.