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

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

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2025

UCHITEL, SEBASTIAN; CHECHIK, MARSHA; PENTA, MASSIMILIANO DI; ADAMS, BRAM; AGUIRRE, NAZARENO; BAVOTA, GABRIELE; BIANCULLI, DOMENICO; BLINCOE, KELLY; CAVALCANTI, ANA; DITTRICH, YVONNE; FERRUCCI, FILOMENA; HODA, RASHINA; HUANG, LIGUO; LO, DAVID; LYU, MICHAEL R.; MA, LEI; MALETIC, JONATHAN I.; MARIANI, LEONARDO; MCMILLAN, COLLIN; MENZIES, TIM; MONPERRUS, MARTIN; MORENO, ANA; NAGAPPAN, NACHIAPPAN; PASQUALE, LILIANA; PELLICCIONE, PATRIZIO; PRADEL, MICHAEL; PURANDARE, RAHUL; RYU, SUKYOUNG; SABETZADEH, MEHRDAD; SEREBRENIK, ALEXANDER; SUN, JUN; TANTITHAMTHAVORN, KLA; TREUDE, CHRISTOPH; WIMMER, MANUEL; XIONG, YINGFEI; YUE, TAO; ZAIDMAN, ANDY; ZHANG, TAO; ZHONG, HAO

Scoping Software Engineering for AI: The TSE Perspective

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2024 vol. 50 p. 2709 - 2711

AGUSTÍN NOLASCO; FACUNDO MOLINA; RENZO DEGIOVANNI; ALESSANDRA GORLA; DIEGO GARBERVETSKY; MIKE PAPADAKIS; SEBASTIÁN UCHITEL; NAZARENO AGUIRRE; MARCELO FRIAS

Abstraction-Aware Inference of Metamorphic Relations

Proceedings of the ACM on Software Engineering; Lugar: New York; Año: 2024 vol. 1 p. 450 - 472

POLITANO, MARIANO; BENGOLEA, VALERIA; MOLINA, FACUNDO; AGUIRRE, NAZARENO; FRIAS, MARCELO; PONZIO, PABLO

BEAPI: A tool for bounded exhaustive input generation from APIs

SCIENCE OF COMPUTER PROGRAMMING; Año: 2024 vol. 238

CORNEJO, CESAR; REGIS, GERMAN E.; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

A Study of the Electrum and DynAlloy Dynamic Behavior Notations

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

LOPEZ POMBO, CARLOS G.; CASTRO, PABLO F.; AGUIRRE, NAZARENO M.; MAIBAUM, THOMAS S.E.

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

FUNDAMENTA INFORMATICAE; Lugar: Amsterdam; Año: 2019 vol. 166 p. 297 - 347

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 p. 665 - 688

DEGIOVANNI, RENZO; PONZIO, PABLO; AGUIRRE, NAZARENO; FRIAS, MARCELO

Improving lazy abstraction for SCR specifications through constraint relaxation

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Año: 2018 vol. 28

DEMASI, RAMIRO; CASTRO, PABLO F.; MAIBAUM, THOMAS S. E.; AGUIRRE, NAZARENO

Simulation relations for fault-tolerance

FORMAL ASPECTS OF COMPUTING; Año: 2017 vol. 29 p. 1013 - 1050

RAMIRO DEMASI; PABLO CASTRO; NICOLÁS RICCI; TOM MAIBAUM; NAZARENO AGUIRRE

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2015 vol. 9035 p. 188 - 193

NICOLÁS ROSNER; JACO GELDENHUYS; NAZARENO AGUIRRE; WILLEM VISSER; MARCELO FRIAS

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2015 vol. 41 p. 639 - 660

PABLO CASTRO; NAZARENO AGUIRRE; CARLOS LÓPEZ POMBO; TOM MAIBAUM

Categorical foundations for structured specifications in Z

FORMAL ASPECTS OF COMPUTING; Lugar: Berlin; Año: 2015 vol. 27 p. 831 - 865

CARLOS LÓPEZ POMBO; PABLO CASTRO; NAZARENO AGUIRRE; TOM MAIBAUM

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 vol. 8687 p. 314 - 332

VALERIA BENGOLEA; NAZARENO AGUIRRE; DARKO MARINOV; MARCELO FRIAS

RepOK-based reduction of bounded exhaustive testing

Software Testing, Verification and Reliability; Lugar: New Jersey; Año: 2014 vol. 24 p. 629 - 655

PABLO PONZIO; NICOLÁS ROSNER; NAZARENO AGUIRRE; MARCELO FRIAS

Efficient Tight Field Bounds Computation Based on Shape Predicates

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2014 vol. 8442 p. 531 - 546

CARLOS LÓPEZ POMBO; PABLO CASTRO; NAZARENO AGUIRRE; TOM MAIBAUM

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2013 vol. 7841 p. 195 - 211

JACO GELDENHUYS; NAZARENO AGUIRRE; MARCELO FRIAS; WILLEM VISSER

Bounded Lazy Initialization

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2013 vol. 7871 p. 229 - 243

RAMIRO DEMASI; PABLO CASTRO; TOM MAIBAUM; NAZARENO AGUIRRE

Characterizing Fault-Tolerant Systems by Means of Simulation Relations

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2013 vol. 7940 p. 428 - 442

NICOLÁS ROSNER; CARLOS LÓPEZ POMBO; NAZARENO AGUIRRE; ALI JAOUA; ALI MILI; MARCELO FRIAS

Parallel Bounded Verification of Alloy Models by TranScoping

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2013 vol. 8164 p. 88 - 107

RAMIRO DEMASI; PABLO CASTRO; THOMAS S. E. MAIBAUM; NAZARENO AGUIRRE

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2013 vol. 8172 p. 163 - 177

ARACELI ACOSTA; CECILIA KILMURRAY; PABLO CASTRO; NAZARENO AGUIRRE

Model Checking Propositional Deontic Temporal Logic via a mu-Calculus Characterization

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2012 vol. 7498 p. 3 - 18

GERMÁN REGIS; NICOLÁS RICCI; NAZARENO AGUIRRE; TOM MAIBAUM

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2012 vol. 7498 p. 147 - 162

VALERIA BENGOLEA; NAZARENO AGUIRRE; DARKO MARINOV; MARCELO FRIAS

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2012 vol. 7305 p. 19 - 34

PABLO CASTRO; NAZARENO AGUIRRE; CARLOS LÓPEZ POMBO; TOM MAIBAUM

A Categorical Approach to Structuring and Promoting Z Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2012 vol. 7684 p. 73 - 91

NAZARENO AGUIRRE; VALERIA BENGOLEA; MARCELO FRIAS; JUAN GALEOTTI

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2011 vol. 6706 p. 15 - 32

RENZO DEGIOVANNI; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO FRIAS

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2011 vol. 6706 p. 84 - 101

PABLO CASTRO; CECILIA KILMURRAY; ARACELI ACOSTA; NAZARENO AGUIRRE

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2011 p. 106 - 121

PABLO CASTRO; NAZARENO AGUIRRE; CARLOS LÓPEZ POMBO; TOM MAIBAUM

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2010 vol. 6255 p. 306 - 321

NAZARENO AGUIRRE; MARCELO FRIAS; MARIANO MOSCATO; TOM MAIBAUM; ALAN WASSYNG

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2009 vol. 5503 p. 155 - 170

GERMÁN REGIS; NAZARENO AGUIRRE; TOM MAIBAUM

Specifying and Verifying Business Processes Using PPML

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2009 vol. 5885 p. 737 - 756

JAVIER BLANCO; LETICIA LOSANO; NAZARENO AGUIRRE; MARÍA MARTA NOVAIRA; SONIA PERMIGIANI; GASTÓN SCILINGO

An Introductory Course on Programming based on Formal Specification and Program Calculation

ACM SIGCSE Bulletin; Lugar: New York; Año: 2009 vol. 41 p. 31 - 37

NAZARENO AGUIRRE; MARCELO FRIAS; PABLO PONZIO; BRIAN CARDIFF; JUAN GALEOTTI; GERMÁN REGIS

Towards Abstraction for DynAlloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin Heidelberg; Año: 2008 vol. 5256 p. 207 - 225

NAZARENO AGUIRRE; GERMÁN REGIS; TOM MAIBAUM

Verifying Temporal Properties of CommUnity Designs

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2007 vol. 4591 p. 1 - 20

MARCELO FRIAS; CARLOS LÓPEZ POMBO; JUAN PABLO GALEOTTI; NAZARENO AGUIRRE

Efficient Analysis of DynAlloy Specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York; Año: 2007 vol. 17 p. 4 - 38

XIANG LING; TOM MAIBAUM; NAZARENO AGUIRRE

Design in CommUnity with Extension Morphisms

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2007 vol. 4700 p. 435 - 466

MARCELO FRIAS; CARLOS LÓPEZ POMBO; GABRIEL BAUM; NAZARENO AGUIRRE; TOM MAIBAUM

Reasoning about static and dynamic properties in alloy: A purely relational approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York; Año: 2005 vol. 14 p. 478 - 526

NAZARENO AGUIRRE; MARCELO ARROYO; JUAN BICARREGUI; LUCIO GUZMÁN; TOM MAIBAUM

Towards Dynamically Communicating Abstract Machines in the B Method

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2005 vol. 3785 p. 141 - 155

MARCELO FRIAS; JUAN PABLO GALEOTTI; CARLOS LÓPEZ POMBO; NAZARENO AGUIRRE

DynAlloy: Upgrading Alloy with Actions

Proceedings of the 27th international conference on Software engineering; Lugar: New York; Año: 2005 p. 442 - 451

MARCELO FRIAS; CARLOS LÓPEZ POMBO; NAZARENO AGUIRRE

An Equational Calculus for Alloy

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2004 vol. 3308 p. 162 - 175

NAZARENO AGUIRRE; JUAN BICARREGUI; LUCIO GUZMÁN; TOM MAIBAUM

Implementing Dynamic Aggregations of Abstract Machines in the B Method

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2004 vol. 3308 p. 403 - 417

NAZARENO AGUIRRE; TOM MAIBAUM

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

Electronic Notes in Theoretical Computer Science; Lugar: Amsterdam; Año: 2004 vol. 108 p. 69 - 81

MARCELO FRIAS; GABRIEL BAUM; CARLOS LÓPEZ POMBO; NAZARENO AGUIRRE; TOM MAIBAUM

Taking Alloy to the Movies

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2003 vol. 2805 p. 678 - 697

NAZARENO AGUIRRE; JUAN BICARREGUI; THEODOSIS DIMITRAKOS; TOM MAIBAUM

Towards Dynamic Population Management of Abstract Machines in the B Method

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2003 vol. 2651 p. 528 - 546

NAZARENO AGUIRRE; TOM MAIBAUM

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2003 vol. 2772 p. 407 - 435

NAZARENO AGUIRRE; TOM MAIBAUM

A Logical Basis for the Specification of Reconfigurable Component Based Systems

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin - Heidelberg; Año: 2003 vol. 2621 p. 37 - 51

NAZARENO AGUIRRE; TOM MAIBAUM

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

17th IEEE International Conference on Automated Software Engineering; Año: 2002 p. 271 - 274

GABRIEL BAUM; NAZARENO AGUIRRE; MARCELO ARROYO

Translating Fork Specifications into Logic Programs

Journal of Computer Science & Technology; Lugar: La Plata; Año: 2001 vol. 1 p. 1 - 16