Marcelo F. Frias -

Registered user since Sun 12 Oct 2014

Name:Marcelo F. Frias

Affiliation:Dept. of Software Engineering Instituto Tecnológico de Buenos Aires

Contributions

ASE 2022	Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Artifact Evaluation-track Author of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Research Papers-track Author of LISSA: Lazy Initialization with Specialized Solver Aid within the Research Papers-track Author of Artifact of ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications within the Artifact Evaluation-track
ISSTA 2022	Author of ATR: Template-based Repair for Alloy Specifications within the Technical Papers-track
ASE 2021	Author of BeAFix: An Automated Repair Tool for Faulty Alloy Models within the Tool Demonstrations-track Author of FLACK: Localizing Faults in Alloy Models within the Tool Demonstrations-track
ICSE 2021	Author of Bounded Exhaustive Search of Alloy Specification Repairs within the Technical Track-track Author of FLACK: Counterexample-Guided Fault Localization for Alloy Models within the Technical Track-track Author of Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models" within the AE - Artifact Evaluation-track Author of Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs within the AE - Artifact Evaluation-track Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the Technical Track-track Author of EvoSpex: An Evolutionary Algorithm for Learning Postconditions within the AE - Artifact Evaluation-track
ASE 2019	Committee Member in Program Committee within the Research Papers-track Author of Efficient Test Generation Guided by Field Coverage Criteria within the Research Papers-track
ICSE 2019	Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ETAPS 2019	Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
FASE 2019	Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track
* ICSE 2018 *	Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track
SPLASH 2014	Author of Bounded Exhaustive Test Input Generation from Hybrid Invariants within the OOPSLA-track