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!
English
Métodos Formales e Ingeniería de Software
69 posts
Métodos Formales e Ingeniería de Software
@mfisdc
Cuenta oficial del grupo Métodos Formales e Ingeniería de Software del Departamento de Computación, FCEFQyN - Universidad Nacional de Río Cuarto
Río Cuarto, Argentina Katılım Nisan 2020
14 Takip Edilen65 Takipçiler
📢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!
Español
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)
English
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!
Español
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!
English
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
English
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!
English
Métodos Formales e Ingeniería de Software retweetledi
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
English
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.
Español
📢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!
English
Métodos Formales e Ingeniería de Software retweetledi
Métodos Formales e Ingeniería de Software retweetledi
Nazareno Aguirre presentó el trabajo "Automated Generation of Database Mocks with Symbolic Execution" en el 4th International KLEE Workshop on Symbolic Execution, Lisboa, Portugal
kleesymex@kleesymex
Nazareno Aguirre is now presenting his work on Automated Generation of Database Mocks with Symbolic Execution
Català
The 10th International Conference on Rigorous State-Based Methods!.
English
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!
English
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!
English
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)!
English