Marcelo F. Frias

102 papers A* 15A 10B 8C 7Journal 29Unranked 31

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