ZEMÍN, LUCIANO; GODIO, ARIEL; CORNEJO, CÉSAR; DEGIOVANNI, RENZO; GUTIÉRREZ BRIDA, SIMÓN; REGIS, GERMÁN; AGUIRRE, NAZARENO; FRIAS, MARCELO FABIÁN

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2025 vol. 34 p. 1 - 20

CORNEJO, CÉSAR; REGIS, GERMÁN E.; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

A Study of the Electrum and DynAlloy Dynamic Behavior Notations

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Washington; Año: 2023 vol. 49 p. 4946 - 4963

MOLINA, FACUNDO; CORNEJO, CÉSAR; DEGIOVANNI, RENZO; REGIS, GERMÁN; CASTRO, PABLO F.; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

An evolutionary approach to translating operational specifications into declarative specifications

SCIENCE OF COMPUTER PROGRAMMING; Año: 2019 vol. 181 p. 47 - 63

UVA, MARCELO; PONZIO, PABLO; REGIS, GERMÁN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Automated workarounds from Java program specifications based on SAT solving

International Journal on Software Tools for Technology Transfer; Año: 2018 vol. 20