Marcelo F. Frias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
15
Active years
1995–2023
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FASE | Efficient Bounded Exhaustive Input Generation from Program APIs. | Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | ISSRE | Precise Lazy Initialization for Programs with Complex Heap Inputs. | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
| 2023 | ISSTA | EvoSpex: A Search-Based Tool for Postcondition Inference. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ISSRE | Learning to Prune Infeasible Paths in Generalized Symbolic Execution. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ISSTA | ATR: template-based repair for Alloy specifications. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Nazareno Aguirre, Marcelo F. Frias, Hamid Bagheri |
| 2021 | FASE | Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | Pablo Ponzio, Ariel Godio, Nicols Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | Artifact of Bounded Exhaustive Search of Alloy Specification Repairs. | Simn Gutirrez Brida, Germn Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | FLACK: Counterexample-Guided Fault Localization for Alloy Models. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2021 | ICSE | Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'. | Guolong Zheng, ThanhVu Nguyen, Simn Gutirrez Brida, Germn Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri |
| 2019 | FASE | Automatically Identifying Sufficient Object Builders from Module APIs. | Pablo Ponzio, Valeria S. Bengolea, Mariano Politano, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | Goal-conflict likelihood assessment based on model counting. | Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | On the effect of object redundancy elimination in randomly testing collection classes. | Pablo Ponzio, Valeria S. Bengolea, Simn Gutirrez Brida, Gastn Scilingo, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | FASE | Automated Workarounds from Java Program Specifications Based on SAT Solving. | Marcelo Uva, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | ICSE | An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. | Luciano Zemn, Simn Gutirrez Brida, Ariel Godio, Csar Cornejo, Renzo Degiovanni, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2016 | ICST | Debugging without Testing. | Wided Ghardallou, Nafi Diallo, Ali Mili, Marcelo F. Frias |
| 2014 | FM | Efficient Tight Field Bounds Computation Based on Shape Predicates. | Pablo Ponzio, Nicols Rosner, Nazareno Aguirre, Marcelo F. Frias |
| 2014 | OOPSLA | Bounded exhaustive test input generation from hybrid invariants. | Nicols Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
| 2013 | ICST | 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, Nicols Rosner, Ignacio Vissani |
| 2013 | ISSTA | Parallel bounded analysis in code with rich invariants by refinement of field bounds. | Nicols Rosner, Juan P. Galeotti, Santiago Bermdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemn, Marcelo F. Frias |
| 2012 | TAP | Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites. | Valeria S. Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias |
| 2011 | SEFM | A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. | Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
| 2011 | TAP | Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. | Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti |
| 2011 | TAP | Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2010 | ICTAC | Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. | Mariano M. Moscato, Carlos Lpez Pombo, Marcelo F. Frias |
| 2010 | ISSTA | Analysis of invariants for efficient bounded verification. | Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias |
| 2009 | FASE | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2008 | ICFEM | Towards Abstraction for DynAlloy Specifications. | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis |
| 2007 | TACAS | Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. | Marcelo F. Frias, Carlos Lpez Pombo, Mariano M. Moscato |
| 2005 | ICSE | DynAlloy: upgrading alloy with actions. | Marcelo F. Frias, Juan P. Galeotti, Carlos Lpez Pombo, Nazareno Aguirre |
| 2004 | ICFEM | An Equational Calculus for Alloy. | Marcelo F. Frias, Carlos Lpez Pombo, Nazareno Aguirre |
| 2003 | FM | Taking | Marcelo F. Frias, Carlos Lpez Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |
| 1998 | LICS | Completeness of a Relational Calculus for Program Schemes. | Marcelo F. Frias, Roger D. Maddux |
| 1996 | MFCS | From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap. | Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martnez Lpez |
| 1995 | ADBIS | Semantic Optimization of Queries in Deductive Object-Oriented Database. | Marcelo F. Frias, Silvia E. Gordillo |