Marcelo F. Frias

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

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

2020

On the construction of explosive relation algebras.

[BibT_eX]

[DOI]

T. S. E. Maibaum

CoRR, 2020

2019

An evolutionary approach to translating operational specifications into declarative specifications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 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

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

[BibT_eX]

[DOI]

Pablo Ponzio

Valeria S. Bengolea

Gastón Scilingo

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

What is a fault? and why does it matter?

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 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

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

Debugging without Testing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

TacoFlow: optimizing SAT program verification using dataflow analysis.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Model Counting for Complex Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Relational Mathematics for Relative Correctness.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

Dynamite: A tool for the verification of alloy models based on PVS.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

RepOK-based reduction of bounded exhaustive testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Inference engine based on closure and join operators over Truth Table Binary Relations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2014

Semantic metrics for software products.

[BibT_eX]

[DOI]

Ali Mili

Ali Jaoua

Rasha Gaffer Mohamed Helali

Innov. Syst. Softw. Eng., 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

Efficient Tight Field Bounds Computation Based on Shape Predicates.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

On Faults and Faulty Programs.

[BibT_eX]

[DOI]

Ali Mili

Ali Jaoua

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

[BibT_eX]

[DOI]

Juan P. Galeotti

Nicolás Rosner

IEEE Trans. Software Eng., 2013

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications.

[BibT_eX]

[DOI]

Manuel Giménez

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 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

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

Parallel bounded analysis in code with rich invariants by refinement of field bounds.

[BibT_eX]

[DOI]

Santiago Perez De Rosso

Lucas Pizzagalli

Luciano Zemín

Proceedings of the International Symposium on Software Testing and Analysis, 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

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

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

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.

[BibT_eX]

[DOI]

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

2010

Analysis of invariants for efficient bounded verification.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Complete Calculi for Structured Specifications in Fork Algebra.

[BibT_eX]

[DOI]

Marcelo Fabiùn Frias

Proceedings of the Theoretical Aspects of Computing, 2010

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2010

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

Alloy+HotCore: A Fast Approximation to Unsat Core.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

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

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

[BibT_eX]

[DOI]

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

2006

Interpretability of first-order linear temporal logics in fork algebras.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2006

DynAlloy as a Formal Method for the Analysis of Java Programs.

[BibT_eX]

[DOI]

Juan P. Galeotti

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

Fork Algebras as a Sufficiently Rich Universal Institution.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

Monotonicity Analysis Can Speed Up Verification.

[BibT_eX]

[DOI]

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

A strategy for efficient verification of relational specifications, based on monotonicity analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

DynAlloy: upgrading alloy with actions.

[BibT_eX]

[DOI]

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

2004

An Equational Calculus for Alloy.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

2003

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

[BibT_eX]

[DOI]

Proceedings of the FME 2003: Formal Methods, 2003

2002

Fork Algebras in Algebra, Logic and Computer Science

[BibT_eX]

[DOI]

Advances in Logic 2, World Scientific, ISBN: 978-981-4489-27-0, 2002

2001

Completeness of a relational calculus for program schemes.

[BibT_eX]

[DOI]

Roger D. Maddux

Theor. Comput. Sci., 2001

Interpretability of First-Order Dynamic Logic in a Relational Calculus.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Proceedings of the Relational Methods in Computer Science, 2001

2000

How to say Greedy in Fork Algebras.

[BibT_eX]

Esteban de la Canal

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1998

Equational Reasoning in Non--Classical Logics.

[BibT_eX]

[DOI]

Ewa Orlowska

J. Appl. Non Class. Logics, 1998

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

Representability and Program Construction within Fork Algebras.

[BibT_eX]

[DOI]

Log. J. IGPL, 1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

[BibT_eX]

[DOI]

T. S. E. Maibaum

Proceedings of the Algebraic Methodology and Software Technology, 1998

A calculus for program construction based on fork algebras, generic algorithms and design strategies.

[BibT_eX]

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

A Finite Axiomatization for Fork Algebras.

[BibT_eX]

[DOI]

Paulo A. S. Veloso

Log. J. IGPL, 1997

Fork Algebras in Algebra, Logic and Computer Science.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1997

Completeness of the Relational Calculus MU2.

[BibT_eX]

Roger D. Maddux

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Representability and Program Construction within Fork Algebras (Part II).

[BibT_eX]

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Fork Algebras.

[BibT_eX]

[DOI]

Paulo A. S. Veloso

Proceedings of the Relational Methods in Computer Science., 1997

1996

From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.

[BibT_eX]

[DOI]

Pablo E. Martínez López

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Adding Design Strategies to Fork Algebras.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 1996

1995

PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving.

[BibT_eX]

[DOI]

Andre J. Sampaio

Claudio T. Prates

Cristina D. Ururahy

Neudson C. Albuquerque

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Semantic Optimization of Queries in Deductive Object-Oriented Database.

[BibT_eX]

[DOI]