Métodos Formales e Ingeniería de Software

Cuenta oficial del grupo Métodos Formales e Ingeniería de Software del Departamento de Computación, FCEFQyN - Universidad Nacional de Río Cuarto

[Métodos Formales e Ingeniería de Software @mfisdc]

We are happy to announce that Pablo Castro, member of MFIS and professor of The Department of Computing of UNRC, is Program Committee Member for CAV 25, Congrats Pablo!

[Métodos Formales e Ingeniería de Software @mfisdc]

📢We are very happy to announce that Luciano Putruele supervised by Pablo Castro, member of our group , has successfully defended his PhD thesis, entitled "Aplicaciones de la Teoría de Juegos a la Verificación de Sistemas Tolerantes a Fallas". Congratulations Luciano!

[Métodos Formales e Ingeniería de Software @mfisdc]

Congratulations to the authors!

[Métodos Formales e Ingeniería de Software @mfisdc]

The article “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria" (by L. Zemín, A. Godio, C. Cornejo, R. Degiovanni, S. Gutiérrez Brida, G. Regis, N. Aguirre and M. Frias) was accepted for publication at the ACM Trans. on Soft. Eng. and Methodol. (TOSEM)

[Métodos Formales e Ingeniería de Software @mfisdc]

We are very happy to announce that Cesar Cornejo @cesar_corne, member of our Group, has successfully defended his PhD thesis, entitled "Especificación de Modelos Dinámicos y Análisis de Propiedades con Herramientas Basadas en Alloy". Congratulations Cesar!

[Métodos Formales e Ingeniería de Software @mfisdc]

Facundo Molina @molinaf17 presented the work “Abstraction-Aware Inference of Metamorphic Relations" (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) , at FSE 2024 @FSEconf , Porto de Galinhas, Brazil!

[Métodos Formales e Ingeniería de Software @mfisdc]

We are happy to announce that César Cornejo has been awarded a CONICET postdoctoral grant, and will be pursuing his postdoc at our Research Group. Congratulations César! @cesar_corne

[Métodos Formales e Ingeniería de Software @mfisdc]

We are very happy to announce that the ACM Special Interest Group on Software Engineering (SIGSOFT) will be sponsoring our Summer School on Informatics RIO 2025 through a SIGSOFT financial support grant for summer/winter schools. Thanks @sigsoft for the support!

[ABZ Conference @ABZ_Conference]

Sonia Permigiani gave a talk about "An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding" at #ABZ2024

#ABZ #Conference #Bergamo #FormalMethods #Alloy

[Métodos Formales e Ingeniería de Software @mfisdc]

Tuvimos la gran fortuna de que Río Cuarto y nuestra Universidad fueran parte de su vida académica. Lo extrañaremos infinitamente!

[Departamento de Computación @dcexaunrc]

Nos ha dejado Jorge “El Profe” Aguirre, padre académico de nuestro Departamento de Computación. Fue pionero de la Informática en Argentina, y una persona querida y admirada por toda la comunidad informática nacional.

[Métodos Formales e Ingeniería de Software @mfisdc]

Congratulation to the authors!

[Métodos Formales e Ingeniería de Software @mfisdc]

📢The paper “BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs”* (by M. Politano, V. Bengolea, F. Molina, N. Aguirre, M. Frias and P. Ponzio) has been accepted for publication at the Software Track of the Science of Computer Programming Journal!

[kleesymex @kleesymex]

Nazareno Aguirre is now presenting his work on Automated Generation of Database Mocks with Symbolic Execution

[Departamento de Computación @dcexaunrc]

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

[Métodos Formales e Ingeniería de Software @mfisdc]

Congratulations to the authors!

[Métodos Formales e Ingeniería de Software @mfisdc]

The paper "An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding" (by C. Cornejo, M. Novaira, @SPermigiani , N. Aguirre , S. Gutiérrez Brida and G. Regis) has been accepted for publication at ABZ 2024!

[Métodos Formales e Ingeniería de Software @mfisdc]

The 10th International Conference on Rigorous State-Based Methods!.

[Métodos Formales e Ingeniería de Software @mfisdc]

Congratulations to the authors!

[Métodos Formales e Ingeniería de Software @mfisdc]

The paper “Abstraction-Aware Inference of Metamorphic Relations" (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) has been accepted for publication at the ACM FSE 2024!

[Métodos Formales e Ingeniería de Software @mfisdc]

Congratulations to the authors!

[Métodos Formales e Ingeniería de Software @mfisdc]

It’s a pleasure to inform that the article "SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions" by L. Carvalho, R.Degiovanni, M. Cordy, N. Aguirre, Y. L. Traon and M. Papadakis was accepted for publication at the 46th International Conf. on Software Engineering (ICSE 2024)!