publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
    Luciano Zemı́n, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, and Marcelo Fabian Frias
    ACM Trans. Softw. Eng. Methodol., 2025
    DOI PDF

2024

  1. Abstraction-Aware Inference of Metamorphic Relations
    Agustı́n Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, and Marcelo F. Frias
    Proc. ACM Softw. Eng., 2024
    DOI PDF
  2. BEAPI: A tool for bounded exhaustive input generation from APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, and Pablo Ponzio
    Sci. Comput. Program., 2024
    DOI PDF
  3. An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding
    César Cornejo, Marı́a Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, and Germán Regis
    In Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings, 2024
    DOI PDF
  4. SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
    Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024, 2024
    DOI PDF

2023

  1. A Study of the Electrum and DynAlloy Dynamic Behavior Notations
    César Cornejo, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    IEEE Trans. Software Eng., 2023
    DOI PDF
  2. ACoRe: Automated Goal-Conflict Resolution
    Luiz Carvalho, Renzo Degiovanni, Matı́as Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
    DOI PDF
  3. Efficient Bounded Exhaustive Input Generation from Program APIs
    Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, and Pablo Ponzio
    In Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023
    DOI PDF
  4. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
    Matı́as Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, and Renzo Degiovanni
    In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023, 2023
    DOI PDF
  5. Enabling Efficient Assertion Inference
    Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, and Yves Le Traon
    In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
    DOI PDF
  6. Precise Lazy Initialization for Programs with Complex Heap Inputs
    Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, and Pablo Ponzio
    In 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023, 2023
    DOI PDF
  7. EvoSpex: A Search-Based Tool for Postcondition Inference
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023, 2023
    DOI PDF
  8. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    In 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023, 2023
    DOI PDF
  9. Assertion Inferring Mutants
    Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, and Yves Le Traon
    CoRR, 2023
    DOI
  10. Specification Inference for Evolving Systems
    Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, and Mike Papadakis
    CoRR, 2023
    DOI
  11. ACoRe: Automated Goal-Conflict Resolution
    Luiz Carvalho, Renzo Degiovanni, Matı́as Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, and Mike Papadakis
    CoRR, 2023
    DOI

2022

  1. Fuzzing Class Specifications
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022
    DOI PDF
  2. Learning to Prune Infeasible Paths in Generalized Symbolic Execution
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022, 2022
    DOI PDF
  3. ATR: template-based repair for Alloy specifications
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
    In ISSTA ’22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022, 2022
    DOI PDF
  4. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022
    DOI PDF
  5. LISSA: Lazy Initialization with Specialized Solver Aid
    Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, and Marcelo F. Frias
    In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022
    DOI PDF
  6. Fuzzing Class Specifications
    Facundo Molina, Marcelo d’Amorim, and Nazareno Aguirre
    CoRR, 2022

2021

  1. Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
    Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, and Marcelo F. Frias
    In Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021
    DOI PDF
  2. Artifact of ’FLACK: Counterexample-Guided Fault Localization for Alloy Models’
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
    DOI
  3. EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
    DOI
  4. Artifact of Bounded Exhaustive Search of Alloy Specification Repairs
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2021, Madrid, Spain, May 25-28, 2021, 2021
    DOI
  5. FLACK: Counterexample-Guided Fault Localization for Alloy Models
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
    DOI PDF
  6. Bounded Exhaustive Search of Alloy Specification Repairs
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
    DOI PDF
  7. EvoSpex: An Evolutionary Algorithm for Learning Postconditions
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, 2021
    DOI PDF
  8. BeAFix: An Automated Repair Tool for Faulty Alloy Models
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021
    DOI PDF
  9. FLACK: Localizing Faults in Alloy Models
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021, 2021
    DOI PDF
  10. FLACK: Counterexample-Guided Fault Localization for Alloy Models
    Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri
    CoRR, 2021
  11. EvoSpex: An Evolutionary Algorithm for Learning Postconditions
    Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    CoRR, 2021
  12. Bounded Exhaustive Search of Alloy Specification Repairs
    Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias
    CoRR, 2021
  13. Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
    Matı́as Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, and Nazareno Aguirre
    CoRR, 2021

2019

  1. Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems
    Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, and Thomas Stephen Edward Maibaum
    Fundam. Informaticae, 2019
    DOI PDF
  2. An evolutionary approach to translating operational specifications into declarative specifications
    Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    Sci. Comput. Program., 2019
    DOI PDF
  3. Automatically Identifying Sufficient Object Builders from Module APIs
    Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, and Marcelo F. Frias
    In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, 2019
    DOI PDF
  4. Training binary classifiers as data structure invariants
    Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019
    DOI PDF
  5. Efficient Test Generation Guided by Field Coverage Criteria
    Ariel Godio, Valeria S. Bengolea, Pablo Ponzio, Nazareno Aguirre, and Marcelo Fabian Frias
    In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019, 2019
    DOI PDF
  6. Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT
    Luciano Zemı́n, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, and Marcelo F. Frias
    CoRR, 2019

2018

  1. Automated workarounds from Java program specifications based on SAT solving
    Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    Int. J. Softw. Tools Technol. Transf., 2018
    DOI PDF
  2. Improving lazy abstraction for SCR specifications through constraint relaxation
    Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    Softw. Test. Verification Reliab., 2018
    DOI PDF
  3. From operational to declarative specifications using a genetic algorithm
    Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, 2018
    DOI PDF
  4. On the effect of object redundancy elimination in randomly testing collection classes
    Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, 2018
    DOI PDF
  5. Goal-conflict likelihood assessment based on model counting
    Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, and Marcelo F. Frias
    In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, 2018
    DOI PDF
  6. A genetic algorithm for goal-conflict identification
    Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre
    In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, 2018
    DOI PDF

2017

  1. Simulation relations for fault-tolerance
    Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, and Nazareno Aguirre
    Formal Aspects Comput., 2017
    DOI PDF
  2. Automated Workarounds from Java Program Specifications Based on SAT Solving
    Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 2017
    DOI PDF
  3. Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair
    Nazareno Aguirre
    In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, 2017
    DOI PDF
  4. An Analysis of the Suitability of Test-Based Patch Acceptance Criteria
    Luciano Zemı́n, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias
    In 10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, 2017
    DOI PDF
  5. DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
    Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, and Marcelo F. Frias
    In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017
    DOI PDF
  6. CLTSA: labelled transition system analyser with counting fluent support
    Germán Regis, Renzo Degiovanni, Nicolás D’Ippolito, and Nazareno Aguirre
    In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, 2017
    DOI PDF

2016

  1. Goal-conflict detection based on temporal satisfiability checking
    Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, and Nazareno Aguirre
    In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, 2016
    DOI PDF
  2. Algebraic Foundations for Specification Refinements
    Pablo F. Castro, and Nazareno Aguirre
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, 2016
    DOI PDF
  3. An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
    Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias
    In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, 2016
    DOI PDF
  4. Field-exhaustive testing
    Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser
    In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016, 2016
    DOI PDF

2015

  1. Categorical foundations for structured specifications in Z
    Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, and T. S. E. Maibaum
    Formal Aspects Comput., 2015
    DOI PDF
  2. BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support
    Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, and Marcelo F. Frias
    IEEE Trans. Software Eng., 2015
    DOI PDF
  3. Specifying Event-Based Systems with a Counting Fluent Temporal Logic
    Germán Regis, Renzo Degiovanni, Nicolás D’Ippolito, and Nazareno Aguirre
    In 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1, 2015
    DOI PDF
  4. syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications
    Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, and Nazareno Aguirre
    In Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, 2015
    DOI PDF

2014

  1. RepOK-based reduction of bounded exhaustive testing
    Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, and Marcelo F. Frias
    Softw. Test. Verification Reliab., 2014
    DOI PDF
  2. An experiment on teaching coordination in a globally distributed software engineering class
    Martı́n Nordio, H.-Christian Estler, Bertrand Meyer, Nazareno Aguirre, Rafael Prikladnicki, Elisabetta Di Nitto, and Anthony Savidis
    In 27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014, Klagenfurt, Austria, April 23-25, 2014, 2014
    DOI PDF
  3. Efficient Tight Field Bounds Computation Based on Shape Predicates
    Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, and Marcelo F. Frias
    In FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014
    DOI PDF
  4. Automated goal operationalisation based on interpolation and SAT solving
    Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, and Sebastián Uchitel
    In 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014, 2014
    DOI PDF
  5. A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting
    Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, and T. S. E. Maibaum
    In Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, 2014
    DOI PDF
  6. Bounded exhaustive test input generation from hybrid invariants
    Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, and Sarfraz Khurshid
    In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014, 2014
    DOI PDF
  7. Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013
    2014
    DOI

2013

  1. Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications
    Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, and Nazareno Aguirre
    In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings, 2013
    DOI PDF
  2. Analyzing formal requirements specifications using an off-the-shelf model checker
    Gastón Scilingo, Marı́a Marta Novaira, Renzo Degiovanni, and Nazareno Aguirre
    In 2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013, 2013
    DOI PDF
  3. 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, Nicolás Rosner, and Ignacio Vissani
    In Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013, Luxembourg, Luxembourg, March 18-22, 2013, 2013
    DOI PDF
  4. Characterizing Fault-Tolerant Systems by Means of Simulation Relations
    Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, and Nazareno Aguirre
    In Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings, 2013
    DOI PDF
  5. Ranger: Parallel analysis of alloy models by range partitioning
    Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, and Marcelo F. Frias
    In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, 2013
    DOI PDF
  6. Bounded Lazy Initialization
    Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, and Willem Visser
    In NASA Formal Methods, 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings, 2013
    DOI PDF
  7. Parallel Bounded Verification of Alloy Models by TranScoping
    Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, and Marcelo F. Frias
    In Verified Software: Theories, Tools, Experiments - 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, 2013
    DOI PDF

2012

  1. A Categorical Approach to Structuring and Promoting Z Specifications
    Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, and Tom Maibaum
    In Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers, 2012
    DOI PDF
  2. Model Checking Propositional Deontic Temporal Logic via a \(μ\)-Calculus Characterization
    Araceli Acosta, Cecilia Kilmurray, Pablo F. Castro, and Nazareno Aguirre
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012
    DOI PDF
  3. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
    Germán Regis, Nicolás Ricci, Nazareno Aguirre, and T. S. E. Maibaum
    In Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings, 2012
    DOI PDF
  4. Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites
    Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, and Marcelo F. Frias
    In Tests and Proofs - 6th International Conference, TAP@TOOLS 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings, 2012
    DOI PDF
  5. Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
    Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, and T. S. E. Maibaum
    In Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers, 2012
    DOI PDF

2011

  1. 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, and Vidya Kulkarni
    In Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, CTGDSD 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011, 2011
    DOI PDF
  2. dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification
    Pablo F. Castro, Cecilia Kilmurray, Araceli Acosta, and Nazareno Aguirre
    In Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings, 2011
    DOI PDF
  3. Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs
    Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, and Juan P. Galeotti
    In Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, 2011
    DOI PDF
  4. Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications
    Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias
    In Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings, 2011
    DOI PDF

2010

  1. Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
    Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, and T. S. E. Maibaum
    In Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, 2010
    DOI PDF

2009

  1. An introductory course on programming based on formal specification and program calculation
    Javier Blanco, Leticia Losano, Nazareno Aguirre, Marı́a Marta Novaira, Sonia Permigiani, and Gastón Scilingo
    ACM SIGCSE Bull., 2009
    DOI PDF
  2. Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy
    Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, and Alan Wassyng
    In Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, 2009
    DOI PDF
  3. Specifying and Verifying Business Processes Using PPML
    Germán Regis, Nazareno Aguirre, and T. S. E. Maibaum
    In Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, 2009
    DOI PDF

2008

  1. Towards Abstraction for DynAlloy Specifications
    Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, and Germán Regis
    In Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, 2008
    DOI PDF

2007

  1. Efficient Analysis of DynAlloy Specifications
    Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, and Nazareno Aguirre
    ACM Trans. Softw. Eng. Methodol., 2007
    DOI PDF
  2. Design in CommUnity with Extension Morphisms
    Xiang Ling, T. S. E. Maibaum, and Nazareno Aguirre
    In Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, 2007
    DOI PDF
  3. Verifying Temporal Properties of CommUnity Designs
    Nazareno Aguirre, Germán Regis, and T. S. E. Maibaum
    In Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007
    DOI PDF

2006

  1. Extension Morphisms for CommUnity
    Nazareno Aguirre, T. S. E. Maibaum, and Paulo S. C. Alencar
    In Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, 2006
    DOI PDF

2005

  1. Reasoning about static and dynamic properties in alloy: A purely relational approach
    Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, and T. S. E. Maibaum
    ACM Trans. Softw. Eng. Methodol., 2005
    DOI PDF
  2. Towards Dynamically Communicating Abstract Machines in the B Method
    Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, and T. S. E. Maibaum
    In Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005
    DOI PDF
  3. DynAlloy: upgrading alloy with actions
    Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, and Nazareno Aguirre
    In 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, 2005
    DOI PDF

2004

  1. A logical basis for the specification of reconfigurable component based systems
    Nazareno Aguirre
    King’s College London, UK, 2004
  2. An Equational Calculus for Alloy
    Marcelo F. Frias, Carlos López Pombo, and Nazareno Aguirre
    In Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 2004
    DOI PDF
  3. Implementing Dynamic Aggregations of Abstract Machines in the B Method
    Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, and T. S. E. Maibaum
    In Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, 2004
    DOI PDF
  4. Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004, 2004
    DOI PDF

2003

  1. Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday, 2003
    DOI PDF
  2. A Logical Basis for the Specification of Reconfigurable Component-Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, 2003
    DOI PDF
  3. Taking \emphAlloy to the Movies
    Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, and T. S. E. Maibaum
    In FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, 2003
    DOI PDF
  4. Towards Dynamic Population Management of Abstract Machines in the B Method
    Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, and T. S. E. Maibaum
    In ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings, 2003
    DOI PDF

2002

  1. A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems
    Nazareno Aguirre, and T. S. E. Maibaum
    In 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, 2002
    DOI PDF