Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marcelo F. Frias
conf.researchr.org general profile
* ICSE 2018 * profile
ASE 2019 profile
ASE 2021 profile
ASE 2022 profile
ETAPS 2019 profile
ICSE 2019 profile
ICSE 2021 profile
ISSTA 2022 profile
SPLASH 2014 profile
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
Share
x
Tue 7 Feb 19:27