Login / Signup

FLACK: Counterexample-Guided Fault Localization for Alloy Models.

Guolong ZhengThanhVu NguyenSimón Gutiérrez BridaGermán RegisMarcelo F. FriasNazareno AguirreHamid Bagheri
Published in: ICSE (2021)
Keyphrases
  • fault localization
  • database
  • data management
  • data sets
  • neural network
  • multi agent
  • data model