Registered user since Sat 10 Mar 2018
Name:Germán Regis
Country:Argentina
Affiliation:University of Rio Cuarto, Argentina
Contributions
2021
ICSE
- Artifact of ICSE 2021 Technical Track Submission #653: Bounded Exhaustive Search of Alloy Specification Repairs
- Artifact of "FLACK: Counterexample-Guided Fault Localization for Alloy Models"
- Bounded Exhaustive Search of Alloy Specification Repairs
- FLACK: Counterexample-Guided Fault Localization for Alloy Models
ICSE 2021-profile
View general profile
View general profile