All Stories

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

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

    Nazareno Aguirre, Facundo Molina

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

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

    Dr Mike PAPADAKIS, Nazareno Aguirre

  3. LISSA: Lazy Initialization with Specialized Solver Aid

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

  5. ATR: template-based repair for Alloy specifications

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

    Nazareno Aguirre

  6. Fuzzing class specifications

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

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

    Article • Fundamenta Informaticae, April 2019, IOS Press

    Carlos Gustavo Lopez Pombo, Nazareno Aguirre

  10. A genetic algorithm for goal-conflict identification

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

    Nazareno Aguirre

  11. Goal-conflict likelihood assessment based on model counting

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre

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

  14. Field-exhaustive testing

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

    Nazareno Aguirre

  15. Goal-conflict detection based on temporal satisfiability checking

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

    Nazareno Aguirre

  16. Bounded exhaustive test input generation from hybrid invariants

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

    Nazareno Aguirre

  17. Automated goal operationalisation based on interpolation and SAT solving

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

    Nazareno Aguirre

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

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

    Nazareno Aguirre