Write a Blog >>
ICSE 2021
Sat 22 - Sun 30 May 2021

Not registered as user yet

Name: Simón Gutiérrez Brida

Affiliation: University of Rio Cuarto and CONICET, Argentina


ICSE 2021 Bounded Exhaustive Search of Alloy Specification Repairs
FLACK: Counterexample-Guided Fault Localization for Alloy Models
Show activities from other conferences

Using general profile