Fault Localization for Declarative Models in Alloy.

Kaiyuan Wang Allison Sullivan Darko Marinov Sarfraz Khurshid

Published in: CoRR (2018)

Keyphrases

fault localization
data mining
genetic algorithm
complex systems
model based diagnosis
databases
real world
fault detection