Generación automática de casos de prueba - Investigación en variables enteras