All Stories

  1. Search-based Inference of Class Invariants

    Article • July 2025, ACM (Association for Computing Machinery)

    Nazareno Aguirre, Facundo Molina

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

    Article • ACM Transactions on Software Engineering and Methodology, November 2024, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  3. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

    Article • April 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

  4. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing

    Article • September 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Facundo Molina, Nazareno Aguirre

  5. EvoSpex: A Search-Based Tool for Postcondition Inference

    Article • July 2023, ACM (Association for Computing Machinery)

    Nazareno Aguirre, Facundo Molina

  6. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

    Article • July 2023, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

  7. LISSA: Lazy Initialization with Specialized Solver Aid

    Article • October 2022, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  8. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

    Article • October 2022, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  9. ATR: template-based repair for Alloy specifications

    Article • July 2022, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  10. Fuzzing class specifications

    Article • May 2022, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  11. FLACK: Counterexample-Guided Fault Localization for Alloy Models

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Nazareno Aguirre

  12. Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Nazareno Aguirre

  13. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

    Article • Fundamenta Informaticae, April 2019, IOS Press

    Carlos Gustavo Lopez Pombo, Nazareno Aguirre

  14. A genetic algorithm for goal-conflict identification

    Article • September 2018, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  15. Goal-conflict likelihood assessment based on model counting

    Article • May 2018, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  16. CLTSA: labelled transition system analyser with counting fluent support

    Article • August 2017, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  17. DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

    Article • August 2017, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  18. Field-exhaustive testing

    Article • November 2016, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  19. Goal-conflict detection based on temporal satisfiability checking

    Article • August 2016, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  20. Bounded exhaustive test input generation from hybrid invariants

    Article • ACM SIGPLAN Notices, December 2014, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  21. Automated goal operationalisation based on interpolation and SAT solving

    Article • May 2014, ACM (Association for Computing Machinery)

    Nazareno Aguirre

  22. Ranger: Parallel analysis of alloy models by range partitioning

    Article • November 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Nazareno Aguirre