En este documento analizamos el comportamiento reciente de las exportaciones a Venezuela, ya nivel de firma, la dependencia de los ingresos frente a las ventas realizadas al vecino país en2006. Para esto se utilizó la base de comercio exterior del Departamento AdministrativoNacional de...

En este documento analizamos el comportamiento reciente de las exportaciones a Venezuela, y a nivel de firma, la dependencia de los ingresos frente a las ventas realizadas al vecino país en 2006. Para esto se utilizó la base de comercio exterior del Departamento Administrativo Nacional de...

We present a technique for checking the validity of Java assertions using an arbitrary automated test-case generator. Our framework transforms the program by introducing code that detects whether the assertion conditions are met by every direct and indirect method call within a certain depth...