Se ha tomado la bibliografía inicial utilizada para la definición y confección del proyecto y se la está investigando para discriminar entre aquella que es relevante para la investigación y aquella que no lo es. La bibliografía que se considera que puede ser útil se la va catalogando y referenciando.

A su vez se sigue buscando en publicaciones nacionales e internacionales nueva bibliografía sobre la ejecución simbólica y como se está utilizando para la generación de código seguro para detectar aquello que haya sido pasado por alto durante la etapa de la definición del proyecto o que pueda haber surgido desde la misma. Se ha encontrado más material para ser usado en la investigación y se lo está catalogando para uso futuro.

Hasta el momento no se han encontrado referencias del uso de éstas técnicas en desarrollos de software más allá de funciones de tamaño y complejidad reducida. Se ha encontrado que se han desarrollado modelos conceptuales pero sin implementaciones reales que vayan más allá de un conjunto reducido de instrucciones o métodos base.

En cuanto a software que explote estás técnicas en forma automatizada total o parcialmente, solo se ha encontrado una aplicación para el lenguaje JAVA, realizado como un laboratorio de investigación en una universidad local estatal que funciona en forma muy limitada y en estado aún de desarrollo.

Los próximos pasos, además de seguir recolectando y analizando la información es la de entrar en contacto con empresas de software para ver cuales son las técnicas que están utilizando para la corrección de errores y/o aseguramiento de la calidad a lo largo de todo el ciclo de vida del desarrollo del software y conocer los controles aplicados a en las mismas.

La bibliografía que fue prevista en la definición del proyecto fue analizada y se descartó aquella que no contribuía al proyecto. Se incorporó nueva bibliografía, en su mayoría de investigaciones anteriores.

Se han investigado otras metodologías de control de errores y quality assurance para establecer puntos de encuentro, ventajas y desventajas de la ejecución simbólica como método de aseguramiento de la calidad del software.

Se están realizando entrevistas semiabiertas con los departamentos de QA de diversas empresas de desarrollo para cualificar y cuantificar los tipos de test que se realizan a lo largo de los proyectos y de esta manera poder determinar el estado actual del arte. Dentro de esta subetapa se detectó que las empresas casi no utilizan la ejecución simbólica como método de detección de errores dentro de la etapa de testing. Las causas son diversas pero tienden a asociarse a un elevado costo computacional, lo que genera un consumo de recursos económicos mayor a las demás técnicas usadas en la actualidad.

Terminadas las entrevistas se planea generar un documento para su publicación donde se reflejen los resultados de la investigación hasta el momento.