Registered user since Sun 12 Oct 2014

Name:Marcelo F. Frias
Affiliation:Dept. of Software Engineering Instituto Tecnológico de Buenos Aires

Contributions

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