Nazareno Aguirre presentó el trabajo "Automated Generation of Database Mocks with Symbolic Execution" en el 4th International KLEE Workshop on Symbolic Execution, Lisboa, Portugal

El artículo "BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs” (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) ha sido aceptado para su publicación en el Software Track de Science of Computer Programming Journal!

El artículo "BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs” (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) ha sido aceptado para su publicación en el Software Track de Science of Computer Programming Journal!

Gracias por tanto Profe!

Sonia Permigiani Sonia Permigiani, en la presentación del artículo "An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding" en #ABZ2024, Bergamo Italia.

Nos complace anunciar que César Cornejo ha obtenido una beca postdoctoral de CONICET, y desarrollará sus estudios postdoctorales en nuestro Departamento. Felicitaciones César! César Cornejo

Facundo Molina Facundo Molina en la presentación del artículo "Abstraction-Aware Inference of Metamorphic Relations" en FSE 2024!

Es un gran placer anunciar que Cesar Cornejo César Cornejo , miembro de nuestro departamento, defendió exitosamente su tesis doctoral titulada "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Felicitaciones Cesar!

El Departamento de Computación de la UNRC en su totalidad estará eternamente agradecido con nuestro querido Profe

📢Luciano Putruele ha defendido exitosamente su tesis doctoral. Egresado de Licenciatura en Ciencias de la Computación del DC UNRC, realizó su doctorado bajo la dirección del Dr. Pablo Castro, docente de nuestro Departamento. Felicitamos a Luciano y a Pablo Castro 👏👏