Fault Localization for Declarative Models in Alloy

Fault Localization for Declarative Models in Alloy. Source: https://arxiv.org/abs/1807.08707 PDF: https://arxiv.org/pdf/1807.08707 Local PDF: library/pdfs/2018-fault-localization-for-declarative-models-in-alloy.pdf Full text: library/fulltexts/2018-fault-localization-for-declarative-models-in-alloy.txt Notes: This paper introduces AlloyFL, a family of fault-localization techniques for declarative Alloy models at AST-node granularity. It is relevant to topic 06 because Alloy has no ordinary imperative control-flow structure, yet the authors still recover useful diagnostic structure from tests and model syntax. This is useful evidence for our broader question: whether fixed structural points or bottleneck nodes can divide a large logical space into smaller, analyzable subspaces.