Los casos de test unitarios son útiles para probar si la implementación de una función tiene el comportamiento esperado. Si bien no se puede garantizar al 100% la correcta implementación, los test nos dan mayor seguridad de su comportamiento, además de permitir que futuras modificaciones en la implementación mantengan el comportamiento esperado al momento de hacer los test. Sin embargo, la tarea de hacer los test manualmente es compleja y costosa, lo que lleva a muchos programadores a obviar esta tarea, lo cual no es nada recomendable. La herramienta presentada en este artículo permite generar automáticamente casos de test unitarios en el lenguaje Java garantizando cubrir todas las sentencias y todas las ramas (alcanzables) del programa. Esto se lleva a cabo utilizando la técnica conocida como ejecución concólica.Trabajos de CátedraSociedad Argentina de Informática e Investigación Operativa (SADIO
