Login / Signup
Artifact of '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 (Companion Volume) (2021)
Keyphrases
</>
fault localization
decision making
data structure
historical data
model based diagnosis
fault detection