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
2021
ICSE
- 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
ICSE 2021-profile
View general profile
View general profile