{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VTW33LMRMOLRHJGRGLPZUAJMEW","short_pith_number":"pith:VTW33LMR","canonical_record":{"source":{"id":"1807.08707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-23T16:34:31Z","cross_cats_sorted":[],"title_canon_sha256":"e868e91a8b7edde17c0c0d1d2844a1ffad4f4634cee48f6d56842b698c18377f","abstract_canon_sha256":"0e6b445e108883c514b2a9a47c383aa46c899c2c333819ac0ab0949cbeb2646e"},"schema_version":"1.0"},"canonical_sha256":"acedbdad91639713a4d132df9a012c258448ecd3d4715af7a0bdebe36461254d","source":{"kind":"arxiv","id":"1807.08707","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.08707","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"arxiv_version","alias_value":"1807.08707v1","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.08707","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"pith_short_12","alias_value":"VTW33LMRMOLR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VTW33LMRMOLRHJGR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VTW33LMR","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VTW33LMRMOLRHJGRGLPZUAJMEW","target":"record","payload":{"canonical_record":{"source":{"id":"1807.08707","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-23T16:34:31Z","cross_cats_sorted":[],"title_canon_sha256":"e868e91a8b7edde17c0c0d1d2844a1ffad4f4634cee48f6d56842b698c18377f","abstract_canon_sha256":"0e6b445e108883c514b2a9a47c383aa46c899c2c333819ac0ab0949cbeb2646e"},"schema_version":"1.0"},"canonical_sha256":"acedbdad91639713a4d132df9a012c258448ecd3d4715af7a0bdebe36461254d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:04.948935Z","signature_b64":"csvP/OJJJ4JofUWy5YGohOPBS3b45aMeD4HrSUV4fmg1UXLGLW68krto6kTFNyau+uDHHtFFBvR0nKJPDpXyDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"acedbdad91639713a4d132df9a012c258448ecd3d4715af7a0bdebe36461254d","last_reissued_at":"2026-05-18T00:10:04.948253Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:04.948253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.08707","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pxgw0BVM3YIllIikoPLXL89hLhEiSRgXzDNfwAmrUkFPHzzUcAqnhWhZiqv+EJ3c+T8Wj1jxRaWQQ9B6neB1Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T02:14:08.647717Z"},"content_sha256":"09eec23aedca769937b66a6f8e1d73b6f044c672e1dca25ae4ca774b5b8a889d","schema_version":"1.0","event_id":"sha256:09eec23aedca769937b66a6f8e1d73b6f044c672e1dca25ae4ca774b5b8a889d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VTW33LMRMOLRHJGRGLPZUAJMEW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Fault Localization for Declarative Models in Alloy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Allison Sullivan, Darko Marinov, Kaiyuan Wang, Sarfraz Khurshid","submitted_at":"2018-07-23T16:34:31Z","abstract_excerpt":"Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem of fault localization for declarative models in Alloy -- a first order relational logic with transitive closure. We introduce AlloyFL, the first set of fault localization techniques for faulty Alloy models which leverages multiple test formulas. AlloyFL is also the first set of fault localization techniques at the AST node granularity. We implements in AlloyFL both spectrum-based and mutation-based fault localization "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.08707","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:10:04Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OoVdYoWGrTb//duF9oJOAv9INrjyHi5Hf4ONJGCUqDh2ggKE61mrHuVxFOTci35A6zRRTRHllxxZsTH4o6DkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-19T02:14:08.648063Z"},"content_sha256":"2a4432f69616c7fef1c5fcd41ceaa61dcfe895e222cd9468bb1fab1a96292079","schema_version":"1.0","event_id":"sha256:2a4432f69616c7fef1c5fcd41ceaa61dcfe895e222cd9468bb1fab1a96292079"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/bundle.json","state_url":"https://pith.science/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-19T02:14:08Z","links":{"resolver":"https://pith.science/pith/VTW33LMRMOLRHJGRGLPZUAJMEW","bundle":"https://pith.science/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/bundle.json","state":"https://pith.science/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VTW33LMRMOLRHJGRGLPZUAJMEW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VTW33LMRMOLRHJGRGLPZUAJMEW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"0e6b445e108883c514b2a9a47c383aa46c899c2c333819ac0ab0949cbeb2646e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-23T16:34:31Z","title_canon_sha256":"e868e91a8b7edde17c0c0d1d2844a1ffad4f4634cee48f6d56842b698c18377f"},"schema_version":"1.0","source":{"id":"1807.08707","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.08707","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"arxiv_version","alias_value":"1807.08707v1","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.08707","created_at":"2026-05-18T00:10:04Z"},{"alias_kind":"pith_short_12","alias_value":"VTW33LMRMOLR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VTW33LMRMOLRHJGR","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VTW33LMR","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:2a4432f69616c7fef1c5fcd41ceaa61dcfe895e222cd9468bb1fab1a96292079","target":"graph","created_at":"2026-05-18T00:10:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Fault localization is a popular research topic and many techniques have been proposed to locate faults in imperative code, e.g. C and Java. In this paper, we focus on the problem of fault localization for declarative models in Alloy -- a first order relational logic with transitive closure. We introduce AlloyFL, the first set of fault localization techniques for faulty Alloy models which leverages multiple test formulas. AlloyFL is also the first set of fault localization techniques at the AST node granularity. We implements in AlloyFL both spectrum-based and mutation-based fault localization ","authors_text":"Allison Sullivan, Darko Marinov, Kaiyuan Wang, Sarfraz Khurshid","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-23T16:34:31Z","title":"Fault Localization for Declarative Models in Alloy"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.08707","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:09eec23aedca769937b66a6f8e1d73b6f044c672e1dca25ae4ca774b5b8a889d","target":"record","created_at":"2026-05-18T00:10:04Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"0e6b445e108883c514b2a9a47c383aa46c899c2c333819ac0ab0949cbeb2646e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2018-07-23T16:34:31Z","title_canon_sha256":"e868e91a8b7edde17c0c0d1d2844a1ffad4f4634cee48f6d56842b698c18377f"},"schema_version":"1.0","source":{"id":"1807.08707","kind":"arxiv","version":1}},"canonical_sha256":"acedbdad91639713a4d132df9a012c258448ecd3d4715af7a0bdebe36461254d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"acedbdad91639713a4d132df9a012c258448ecd3d4715af7a0bdebe36461254d","first_computed_at":"2026-05-18T00:10:04.948253Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:04.948253Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"csvP/OJJJ4JofUWy5YGohOPBS3b45aMeD4HrSUV4fmg1UXLGLW68krto6kTFNyau+uDHHtFFBvR0nKJPDpXyDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:04.948935Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.08707","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:09eec23aedca769937b66a6f8e1d73b6f044c672e1dca25ae4ca774b5b8a889d","sha256:2a4432f69616c7fef1c5fcd41ceaa61dcfe895e222cd9468bb1fab1a96292079"],"state_sha256":"4345ec0ab94de05576dba6794bf57531cfc6cd72f0c7e400eb9a443a1080321a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iMmdmRq3W6finZszaLMoTBVrelNH3DsYrdacdI7YF76Bp/f8WkmIPGQ/NCZWVFW10j5/fJ/Kih3cnzoOikM6BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-19T02:14:08.649253Z","bundle_sha256":"7af1d0e1dc0afca97aa5edd608369fbcf3a5dfe1c4d9df143776443017317dcd"}}