Nazareno Aguirre

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 60

Top Venues

King's College London, UK (PHD)

Education History

King's College London, UK

PHD

Publications

Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE (2024)
César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ (2024)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238 (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis
Specification Inference for Evolving Systems. CoRR (2023)
César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
A Study of the Electrum and DynAlloy Dynamic Behavior Notations. IEEE Trans. Software Eng. 49 (11) (2023)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. ASE (2023)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Efficient Bounded Exhaustive Input Generation from Program APIs. FASE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
Enabling Efficient Assertion Inference. ISSRE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Assertion Inferring Mutants. CoRR (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. FASE (2023)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: A Search-Based Tool for Postcondition Inference. ISSTA (2023)
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
Precise Lazy Initialization for Programs with Complex Heap Inputs. ISSRE (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. CoRR (2023)
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO (2023)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
LISSA: Lazy Initialization with Specialized Solver Aid. ASE (2022)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. CoRR (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Learning to Prune Infeasible Paths in Generalized Symbolic Execution. ISSRE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. ICSE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. CoRR (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). ICSE (Companion Volume) (2021)
Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. FASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. ICSE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR (2021)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR (2019)
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
Automatically Identifying Sufficient Object Builders from Module APIs. FASE (2019)
Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166 (4) (2019)
Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, Marcelo Fabian Frias
Efficient Test Generation Guided by Field Coverage Criteria. ASE (2019)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. 28 (2) (2018)
Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
Goal-conflict likelihood assessment based on model counting. ICSE (2018)
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE (2018)
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
A genetic algorithm for goal-conflict identification. ASE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE (2017)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE (2017)
Nazareno Aguirre
Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. FormaliSE@ICSE (2017)
Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre
Simulation relations for fault-tolerance. Formal Aspects Comput. 29 (6) (2017)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated Workarounds from Java Program Specifications Based on SAT Solving. FASE (2017)
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. SBST@ICSE (2017)
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Field-exhaustive testing. SIGSOFT FSE (2016)
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
Goal-conflict detection based on temporal satisfiability checking. ASE (2016)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)
Pablo F. Castro, Nazareno Aguirre
Algebraic Foundations for Specification Refinements. SBMF (2016)
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41 (7) (2015)
Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. TACAS (2015)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) (2015)
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27 (5-6) (2015)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC (2014)
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
Automated goal operationalisation based on interpolation and SAT solving. ICSE (2014)
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
Bounded exhaustive test input generation from hybrid invariants. OOPSLA (2014)
Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias
Efficient Tight Field Bounds Computation Based on Shape Predicates. FM (2014)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24 (8) (2014)
Martín Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, Anthony Savidis
An experiment on teaching coordination in a globally distributed software engineering class. CSEE&T (2014)
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE (2013)
Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM (2013)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
Analyzing formal requirements specifications using an off-the-shelf model checker. CLEI (2013)
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Bounded Lazy Initialization. NASA Formal Methods (2013)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA (2013)
Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
Ranger: Parallel analysis of alloy models by range partitioning. ASE (2013)
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF (2012)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT (2012)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS (2012)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
A Categorical Approach to Structuring and Promoting Z Specifications. FACS (2012)
Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, Nazareno Aguirre
Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization. SBMF (2012)
Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre
dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. SEFM (2011)
Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni
Teaching software engineering using globally distributed projects: the DOSE course. CTGDSD@ICSE (2011)
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS (2011)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP@TOOLS (2011)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC (2010)
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE (2009)
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 Bull. 41 (2) (2009)
Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Business Processes Using PPML. ICFEM (2009)
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
Towards Abstraction for DynAlloy Specifications. ICFEM (2008)
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17 (1) (2007)
Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems (2007)
Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
Verifying Temporal Properties of CommUnity Designs. IFM (2007)
Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen (2006)
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM (2005)
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
DynAlloy: upgrading alloy with actions. ICSE (2005)
Nazareno Aguirre, T. S. E. Maibaum
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electron. Notes Theor. Comput. Sci. 108 (2004)
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
An Equational Calculus for Alloy. ICFEM (2004)
Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM (2004)
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
to the Movies. FME (2003)
Nazareno Aguirre, T. S. E. Maibaum
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice (2003)
Nazareno Aguirre, T. S. E. Maibaum
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE (2003)

Nazareno Aguirre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nazareno Aguirre