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 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
FASE 2019	Author of Automatically Identifying Sufficient Object Builders from Module APIs within the FASE 2019-track
ETAPS 2019	Author of Automatically Identifying Sufficient Object Builders from Module APIs within the Posters-track
ICSE 2019	Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-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