SESoS/WDES 2021
Thu 3 Jun 2021
co-located with ICSE 2021
ICSE 2021 (series) / SESoS/WDES 2021 (series) / Marcelo F. Frias

Registered user since Sun 12 Oct 2014

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

Contributions

ICSE 2021 Bounded Exhaustive Search of Alloy Specification Repairs
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
Show activities from other conferences

ICSE 2021-profile
View general profile