Nazareno Aguirre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
54
Venues
17
Active years
2003–2026
Best venue rank
A*
Where they publish
Papers
54 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Improving Dynamic Specification Inference with LLM-Generated Counterexamples. | Agustn Balestra, Agustn Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre |
| 2025 | GECCO | Search-based Inference of Class Invariants. | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2025 | SSBSE | Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us? | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2024 | ICSE | SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. | Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | FASE | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | FASE | Efficient Bounded Exhaustive Input Generation from Program APIs. | Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | GECCO | Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. | Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni |
| 2023 | ISSRE | Precise Lazy Initialization for Programs with Complex Heap Inputs. | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
| 2023 | ISSRE | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2023 | ISSTA | EvoSpex: A Search-Based Tool for Postcondition Inference. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ICSE | Fuzzing Class Specifications. | Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre |
| 2022 | ISSRE | Learning to Prune Infeasible Paths in Generalized Symbolic Execution. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | FASE | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2019 | FASE | Automatically Identifying Sufficient Object Builders from Module APIs. | Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | Goal-conflict likelihood assessment based on model counting. | Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | On the effect of object redundancy elimination in randomly testing collection classes. | Pablo Ponzio, Valeria S. Bengolea, Simn Gutirrez Brida, Gastn Scilingo, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | FASE | Automated Workarounds from Java Program Specifications Based on SAT Solving. | Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | ICSE | Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair. | Nazareno Aguirre |
| 2017 | ICSE | An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. | Luciano Zemn, Simn Gutirrez Brida, Ariel Godio, Csar Cornejo, Renzo Degiovanni, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2015 | ICSE | Specifying Event-Based Systems with a Counting Fluent Temporal Logic. | Germn Regis, Renzo Degiovanni, Nicols D'Ippolito, Nazareno Aguirre |
| 2015 | TACAS | syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, Nicols Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre |
| 2014 | FM | Efficient Tight Field Bounds Computation Based on Shape Predicates. | Pablo Ponzio, Nicols Rosner, Nazareno Aguirre, Marcelo F. Frias |
| 2014 | ICSE | Automated goal operationalisation based on interpolation and SAT solving. | Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastin Uchitel |
| 2014 | ICTAC | A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. | Carlos Gustavo Lpez Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2013 | ATVA | Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2013 | CLEI | Analyzing formal requirements specifications using an off-the-shelf model checker. | Gastn Scilingo, Mara Marta Novaira, Renzo Degiovanni, Nazareno Aguirre |
| 2013 | ICST | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. | Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicols Rosner, Ignacio Vissani |
| 2013 | IFM | Characterizing Fault-Tolerant Systems by Means of Simulation Relations. | Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre |
| 2012 | TAP | Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias |
| 2011 | ICSE | Teaching software engineering using globally distributed projects: the DOSE course. | Martin Nordio, Carlo Ghezzi, Bertrand Meyer, Elisabetta Di Nitto, Giordano Tamburrelli, Julian Tschannen, Nazareno Aguirre, Vidya Kulkarni |
| 2011 | SEFM | dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification. | Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, Nazareno Aguirre |
| 2011 | TAP | Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. | Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti |
| 2011 | TAP | Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2010 | ICTAC | Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. | Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo Lpez Pombo, T. S. E. Maibaum |
| 2009 | FASE | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2009 | ICFEM | Specifying and Verifying Business Processes Using PPML. | Germn Regis, Nazareno Aguirre, T. S. E. Maibaum |
| 2008 | ICFEM | Towards Abstraction for DynAlloy Specifications. | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis |
| 2007 | IFM | Verifying Temporal Properties of CommUnity Designs. | Nazareno Aguirre, Germn Regis, T. S. E. Maibaum |
| 2005 | ICFEM | Towards Dynamically Communicating Abstract Machines in the B Method. | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2005 | ICSE | DynAlloy: upgrading alloy with actions. | Marcelo F. Frias, Juan P. Galeotti, Carlos Lpez Pombo, Nazareno Aguirre |
| 2004 | ICFEM | Implementing Dynamic Aggregations of Abstract Machines in the B Method. | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2004 | ICFEM | An Equational Calculus for Alloy. | Marcelo F. Frias, Carlos Lpez Pombo, Nazareno Aguirre |
| 2003 | FASE | A Logical Basis for the Specification of Reconfigurable Component-Based Systems. | Nazareno Aguirre, T. S. E. Maibaum |
| 2003 | FM | Taking | Marcelo F. Frias, Carlos Lpez Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |