Login / Signup
FLACK: Counterexample-Guided Fault Localization for Alloy Models.
Guolong Zheng
ThanhVu Nguyen
Simón Gutiérrez Brida
Germán Regis
Marcelo F. Frias
Nazareno Aguirre
Hamid Bagheri
Published in:
ICSE (2021)
Keyphrases
</>
fault localization
database
data management
data sets
neural network
multi agent
data model