Marcelo F. Frias

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 44

Top Topics

Constraint Relaxation

Top Venues

Publications

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis
An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. ABZ (2024)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238 (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
A Study of the Electrum and DynAlloy Dynamic Behavior Notations. IEEE Trans. Software Eng. 49 (11) (2023)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Efficient Bounded Exhaustive Input Generation from Program APIs. FASE (2023)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: A Search-Based Tool for Postcondition Inference. ISSTA (2023)
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
Precise Lazy Initialization for Programs with Complex Heap Inputs. ISSRE (2023)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri
ATR: template-based repair for Alloy specifications. ISSTA (2022)
Juan Manuel Copia, Pablo Ponzio, Nazareno Aguirre, Alessandra Gorla, Marcelo F. Frias
LISSA: Lazy Initialization with Specialized Solver Aid. ASE (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Learning to Prune Infeasible Paths in Generalized Symbolic Execution. ISSRE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. ASE (2022)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. CoRR (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
BeAFix: An Automated Repair Tool for Faulty Alloy Models. ASE (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). ICSE (Companion Volume) (2021)
Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias
Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. FASE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. ICSE (Companion Volume) (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. CoRR (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Localizing Faults in Alloy Models. ASE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Bounded Exhaustive Search of Alloy Specification Repairs. CoRR (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. ICSE (2021)
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri
FLACK: Counterexample-Guided Fault Localization for Alloy Models. ICSE (2021)
Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias
Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. ICSE (Companion Volume) (2021)
Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum
On the construction of explosive relation algebras. CoRR (2020)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Luciano Zemín, Simón Gutiérrez Brida, Santiago Bermúdez, Santiago Perez De Rosso, Nazareno Aguirre, Ali Mili, Ali Jaoua, Marcelo F. Frias
Stryker: Scaling Specification-Based Program Repair by Pruning Infeasible Mutants with SAT. CoRR (2019)
Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias
Automatically Identifying Sufficient Object Builders from Module APIs. FASE (2019)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated workarounds from Java program specifications based on SAT solving. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. 28 (2) (2018)
Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
Goal-conflict likelihood assessment based on model counting. ICSE (2018)
Pablo Ponzio, Valeria S. Bengolea, Simón Gutiérrez Brida, Gastón Scilingo, Nazareno Aguirre, Marcelo F. Frias
On the effect of object redundancy elimination in randomly testing collection classes. SBST@ICSE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE (2017)
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Automated Workarounds from Java Program Specifications Based on SAT Solving. FASE (2017)
Nafi Diallo, Wided Ghardallou, Jules Desharnais, Marcelo F. Frias, Ali Jaoua, Ali Mili
What is a fault? and why does it matter? Innov. Syst. Softw. Eng. 13 (2-3) (2017)
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. SBST@ICSE (2017)
Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Field-exhaustive testing. SIGSOFT FSE (2016)
Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias
Debugging without Testing. ICST (2016)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)
Nicolás Rosner, Jaco Geldenhuys, Nazareno Aguirre, Willem Visser, Marcelo F. Frias
BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support. IEEE Trans. Software Eng. 41 (7) (2015)
Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
TacoFlow: optimizing SAT program verification using dataflow analysis. Softw. Syst. Model. 14 (1) (2015)
Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
Model Counting for Complex Data Structures. SPIN (2015)
Jules Desharnais, Nafi Diallo, Wided Ghardallou, Marcelo F. Frias, Ali Jaoua, Ali Mili
Relational Mathematics for Relative Correctness. RAMiCS (2015)
Ali Mili, Ali Jaoua, Marcelo F. Frias, Rasha Gaffer Mohamed Helali
Semantic metrics for software products. Innov. Syst. Softw. Eng. 10 (3) (2014)
Samir Elloumi, Bilel Boulifa, Ali Jaoua, Mohammad Saleh, Jameela Al Otaibi, Marcelo F. Frias
Inference engine based on closure and join operators over Truth Table Binary Relations. J. Log. Algebraic Methods Program. 83 (2) (2014)
Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid
Bounded exhaustive test input generation from hybrid invariants. OOPSLA (2014)
Ali Mili, Marcelo F. Frias, Ali Jaoua
On Faults and Faulty Programs. RAMiCS (2014)
Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias
Efficient Tight Field Bounds Computation Based on Shape Predicates. FM (2014)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
RepOK-based reduction of bounded exhaustive testing. Softw. Test. Verification Reliab. 24 (8) (2014)
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
Dynamite: A tool for the verification of alloy models based on PVS. ACM Trans. Softw. Eng. Methodol. 23 (2) (2014)
Nicolás Rosner, Carlos Gustavo López Pombo, Nazareno Aguirre, Ali Jaoua, Ali Mili, Marcelo F. Frias
Parallel Bounded Verification of Alloy Models by TranScoping. VSTTE (2013)
Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA (2013)
Jaco Geldenhuys, Nazareno Aguirre, Marcelo F. Frias, Willem Visser
Bounded Lazy Initialization. NASA Formal Methods (2013)
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39 (9) (2013)
Nicolás Rosner, Junaid Haroon Siddiqui, Nazareno Aguirre, Sarfraz Khurshid, Marcelo F. Frias
Ranger: Parallel analysis of alloy models by range partitioning. ASE (2013)
Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications. LAFM (2013)
Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. TAP@TOOLS (2012)
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS (2011)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP@TOOLS (2011)
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM (2011)
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM (2010)
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM (2010)
Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. ICTAC (2010)
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
Analysis of invariants for efficient bounded verification. ISSTA (2010)
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE (2009)
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
Towards Abstraction for DynAlloy Specifications. ICFEM (2008)
Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. TACAS (2007)
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17 (1) (2007)
Marcelo F. Frias, Carlos López Pombo
Interpretability of first-order linear temporal logics in fork algebras. J. Log. Algebraic Methods Program. 66 (2) (2006)
Juan P. Galeotti, Marcelo F. Frias
DynAlloy as a Formal Method for the Analysis of Java Programs. SET (2006)
Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
Monotonicity Analysis Can Speed Up Verification. RelMiCS (2006)
Carlos López Pombo, Marcelo F. Frias
Fork Algebras as a Sufficiently Rich Universal Institution. AMAST (2006)
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg
A strategy for efficient verification of relational specifications, based on monotonicity analysis. ASE (2005)
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
DynAlloy: upgrading alloy with actions. ICSE (2005)
Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre
An Equational Calculus for Alloy. ICFEM (2004)
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
to the Movies. FME (2003)
Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS (2001)
Marcelo F. Frias, Roger D. Maddux
Completeness of a relational calculus for program schemes. Theor. Comput. Sci. 254 (1-2) (2001)
Marcelo F. Frias, Gabriel Baum, Esteban de la Canal
How to say Greedy in Fork Algebras. RelMiCS (2000)
Marcelo F. Frias, Ewa Orlowska
Equational Reasoning in Non--Classical Logics. J. Appl. Non Class. Logics 8 (1-2) (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras. Log. J. IGPL 6 (2) (1998)
Marcelo F. Frias, Roger D. Maddux
Completeness of a Relational Calculus for Program Schemes. LICS (1998)
Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST (1998)
Marcelo F. Frias, Armando Martin Haeberer
Editorial. Log. J. IGPL 6 (2) (1998)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
A calculus for program construction based on fork algebras, generic algorithms and design strategies. RelMiCS (1998)
Marcelo F. Frias, Ewa Orlowska
Equational Reasoning in Non-Classical Logics. RelMiCS (1997)
Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso
A Finite Axiomatization for Fork Algebras. Log. J. IGPL 5 (3) (1997)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Representability and Program Construction within Fork Algebras (Part II). RelMiCS (1997)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Fork Algebras in Algebra, Logic and Computer Science. Fundam. Informaticae 32 (1) (1997)
Marcelo F. Frias, Roger D. Maddux
Completeness of the Relational Calculus MU2. RelMiCS (1997)
Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López
From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. MFCS (1996)
Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer
Adding Design Strategies to Fork Algebras. Ershov Memorial Conference (1996)
Marcelo F. Frias, Silvia E. Gordillo
Semantic Optimization of Queries in Deductive Object-Oriented Database. ADBIS (1995)
Andre J. Sampaio, Armando Martin Haeberer, Claudio T. Prates, Cristina D. Ururahy, Marcelo F. Frias, Neudson C. Albuquerque
PLATO: A Tool to Assist Programming as Term Rewriting and Therem Proving. TAPSOFT (1995)