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. Abstraction-Aware Inference of Metamorphic Relations

    Article • Proceedings of the ACM on Software Engineering, July 2024, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Nazareno Aguirre

  4. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

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

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

    Facundo Molina, Nazareno Aguirre

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

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

    Nazareno Aguirre, Facundo Molina

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

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

  8. LISSA: Lazy Initialization with Specialized Solver Aid

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

  10. ATR: template-based repair for Alloy specifications

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

    Nazareno Aguirre

  11. Fuzzing class specifications

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

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

    Article • Fundamenta Informaticae, April 2019, IOS Press

    Carlos Gustavo Lopez Pombo, Nazareno Aguirre

  15. A genetic algorithm for goal-conflict identification

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

    Nazareno Aguirre

  16. Goal-conflict likelihood assessment based on model counting

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

  18. 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

  19. Field-exhaustive testing

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

    Nazareno Aguirre

  20. Goal-conflict detection based on temporal satisfiability checking

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

    Nazareno Aguirre

  21. Bounded exhaustive test input generation from hybrid invariants

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

    Nazareno Aguirre

  22. Automated goal operationalisation based on interpolation and SAT solving

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre