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:
CoRR (2021)
Keyphrases
</>
fault localization
data sets
complex systems
databases
neural network
information systems
error rate