Nazareno Aguirre

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

EvoSpex: A Search-Based Tool for Postcondition Inference.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Enabling Efficient Assertion Inference.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Precise Lazy Initialization for Programs with Complex Heap Inputs.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Efficient Bounded Exhaustive Input Generation from Program APIs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

ACoRe: Automated Goal-Conflict Resolution.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

LISSA: Lazy Initialization with Specialized Solver Aid.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

ATR: template-based repair for Alloy specifications.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

Learning to Prune Infeasible Paths in Generalized Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Fuzzing Class Specifications.

[BibT_eX]

[DOI]

Facundo Molina

Marcelo d'Amorim

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

[BibT_eX]

[DOI]

CoRR, 2021

FLACK: Localizing Faults in Alloy Models.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

BeAFix: An Automated Repair Tool for Faulty Alloy Models.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Bounded Exhaustive Search of Alloy Specification Repairs.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2019

An evolutionary approach to translating operational specifications into declarative specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems.

[BibT_eX]

[DOI]

Carlos López Pombo

Thomas Stephen Edward Maibaum

Fundam. Informaticae, 2019

Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT.

[BibT_eX]

[DOI]

Luciano Zemín

Santiago Bermúdez

Santiago Perez De Rosso

CoRR, 2019

Efficient Test Generation Guided by Field Coverage Criteria.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Training binary classifiers as data structure invariants.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering, 2019

Automatically Identifying Sufficient Object Builders from Module APIs.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2019

2018

Improving lazy abstraction for SCR specifications through constraint relaxation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2018

Automated workarounds from Java program specifications based on SAT solving.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

A genetic algorithm for goal-conflict identification.

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

On the effect of object redundancy elimination in randomly testing collection classes.

[BibT_eX]

[DOI]

Pablo Ponzio

Valeria S. Bengolea

Gastón Scilingo

Marcelo F. Frias

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

From operational to declarative specifications using a genetic algorithm.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

Goal-conflict likelihood assessment based on model counting.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Simulation relations for fault-tolerance.

[BibT_eX]

[DOI]

Ramiro Demasi

Thomas Stephen Edward Maibaum

Formal Aspects Comput., 2017

CLTSA: labelled transition system analyser with counting fluent support.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

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

[BibT_eX]

[DOI]

Germán Regis

César Cornejo

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.

[BibT_eX]

[DOI]

Luciano Zemín

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2016

Field-exhaustive testing.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Algebraic Foundations for Specification Refinements.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Goal-conflict detection based on temporal satisfiability checking.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Categorical foundations for structured specifications in Z.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.

[BibT_eX]

[DOI]

Ramiro Demasi

Thomas Stephen Edward Maibaum

Nicolás Ricci

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

RepOK-based reduction of bounded exhaustive testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Bounded exhaustive test input generation from hybrid invariants.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Automated goal operationalisation based on interpolation and SAT solving.

[BibT_eX]

[DOI]

Proceedings of the 36th International Conference on Software Engineering, 2014

Efficient Tight Field Bounds Computation Based on Shape Predicates.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

An experiment on teaching coordination in a globally distributed software engineering class.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Conference on Software Engineering Education and Training, 2014

2013

Parallel Bounded Verification of Alloy Models by TranScoping.

[BibT_eX]

[DOI]

Nicolás Rosner

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Bounded Lazy Initialization.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2013

Ranger: Parallel analysis of alloy models by range partitioning.

[BibT_eX]

[DOI]

Nicolás Rosner

Junaid Haroon Siddiqui

Sarfraz Khurshid

Marcelo F. Frias

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.

[BibT_eX]

[DOI]

Pablo Abad

Valeria S. Bengolea

Daniel Alfredo Ciolek

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Analyzing formal requirements specifications using an off-the-shelf model checker.

[BibT_eX]

[DOI]

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Model Checking Propositional Deontic Temporal Logic via a μ-Calculus Characterization.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.

[BibT_eX]

[DOI]

Tom Maibaum

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

2011

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 5th International Conference, 2011

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 5th International Conference, 2011

dCTL: A Branching Time Temporal Logic for Fault-Tolerant System Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Teaching software engineering using globally distributed projects: the DOSE course.

[BibT_eX]

[DOI]

Proceedings of the 2011 Community Building Workshop on Collaborative Teaching of Globally Distributed Software Development, 2011

2010

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

2009

An introductory course on programming based on formal specification and program calculation.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 2009

Specifying and Verifying Business Processes Using PPML.

[BibT_eX]

[DOI]

Germán Regis

Proceedings of the Formal Methods and Software Engineering, 2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Towards Abstraction for DynAlloy Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Efficient Analysis of DynAlloy Specifications.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2007

Verifying Temporal Properties of CommUnity Designs.

[BibT_eX]

[DOI]

Germán Regis

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Design in CommUnity with Extension Morphisms.

[BibT_eX]

[DOI]

Xiang Ling

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

Extension Morphisms for CommUnity.

[BibT_eX]

[DOI]

Paulo S. C. Alencar

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Reasoning about static and dynamic properties in alloy: A purely relational approach.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

DynAlloy: upgrading alloy with actions.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Towards Dynamically Communicating Abstract Machines in the B Method.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2005

2004

A logical basis for the specification of reconfigurable component based systems.

[BibT_eX]

[DOI]

PhD thesis, 2004

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

An Equational Calculus for Alloy.

[BibT_eX]

[DOI]

Marcelo F. Frias

Carlos López Pombo

Proceedings of the Formal Methods and Software Engineering, 2004

Implementing Dynamic Aggregations of Abstract Machines in the B Method.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Towards Dynamic Population Management of Abstract Machines in the B Method.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Taking <i>Alloy</i> to the Movies.

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

A Logical Basis for the Specification of Reconfigurable Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Verification: Theory and Practice, 2003

2002

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.

[BibT_eX]

[DOI]