Login / Signup

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'.

Guolong ZhengThanhVu NguyenSimón Gutiérrez BridaGermán RegisMarcelo F. FriasNazareno AguirreHamid Bagheri
Published in: ICSE (Companion Volume) (2021)
Keyphrases
  • fault localization
  • decision making
  • data structure
  • historical data
  • model based diagnosis
  • fault detection