{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:DOVHU74QKTWUXR63YC5T5XMRX7","short_pith_number":"pith:DOVHU74Q","canonical_record":{"source":{"id":"1504.05078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-20T14:55:08Z","cross_cats_sorted":[],"title_canon_sha256":"13442fa0028ff7cfc582810a9356e6f943460d3caccae6e6460f6288afcc51f2","abstract_canon_sha256":"731aeb421fb2553ef7b8dba948e41ed7af21210e81d2dc1fb16af91cb0e00630"},"schema_version":"1.0"},"canonical_sha256":"1baa7a7f9054ed4bc7dbc0bb3edd91bfe60ed0a353605f900ed6ab8abf21c7b4","source":{"kind":"arxiv","id":"1504.05078","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05078","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05078v1","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05078","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"pith_short_12","alias_value":"DOVHU74QKTWU","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DOVHU74QKTWUXR63","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DOVHU74Q","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:DOVHU74QKTWUXR63YC5T5XMRX7","target":"record","payload":{"canonical_record":{"source":{"id":"1504.05078","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-20T14:55:08Z","cross_cats_sorted":[],"title_canon_sha256":"13442fa0028ff7cfc582810a9356e6f943460d3caccae6e6460f6288afcc51f2","abstract_canon_sha256":"731aeb421fb2553ef7b8dba948e41ed7af21210e81d2dc1fb16af91cb0e00630"},"schema_version":"1.0"},"canonical_sha256":"1baa7a7f9054ed4bc7dbc0bb3edd91bfe60ed0a353605f900ed6ab8abf21c7b4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:18:22.704014Z","signature_b64":"oOLcrRSTxggO82GEo4tEOnoQaukpYpm/KW3GuLCkNCClVL0c9wfBTXVi2Uxll2jYd5bQBm895KSK80d0oIrvCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1baa7a7f9054ed4bc7dbc0bb3edd91bfe60ed0a353605f900ed6ab8abf21c7b4","last_reissued_at":"2026-05-18T02:18:22.703342Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:18:22.703342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1504.05078","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-18T02:18:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i6vpfleh0JYXQROvJ/VxzRzhstK2Hly1CS3rsNizRnaiKL1vhJaotuUoJy7X9fsbRd7UPpwiZpYygInq76GmAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T16:39:34.281403Z"},"content_sha256":"8361b2c00313e2fab6f8bdb9a8c5d757b5d44a6f7904428ecc625fd98a3dda6e","schema_version":"1.0","event_id":"sha256:8361b2c00313e2fab6f8bdb9a8c5d757b5d44a6f7904428ecc625fd98a3dda6e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:DOVHU74QKTWUXR63YC5T5XMRX7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automatic Repair of Infinite Loops","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Martin Monperrus, Sebastian R. Lamelas Marcote","submitted_at":"2015-04-20T14:55:08Z","abstract_excerpt":"Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least one failing test, generate a patch that makes all test cases pass. Consequently, repairing infinites loop means having at least one test case that hangs by triggering the infinite loop. Our system to autom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05078","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-18T02:18:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dBdCbdpxaVBlsrOQlaY59u+FN5gYMe87bYmYSTJrlK/zOO1e7aZcYh2egV8Dmza4h+L05ZwO+3LJIIS/VPNICQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T16:39:34.281853Z"},"content_sha256":"26809bd9bad368370270099922e676454d3d5c78c26d8527e6bc77953066387d","schema_version":"1.0","event_id":"sha256:26809bd9bad368370270099922e676454d3d5c78c26d8527e6bc77953066387d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DOVHU74QKTWUXR63YC5T5XMRX7/bundle.json","state_url":"https://pith.science/pith/DOVHU74QKTWUXR63YC5T5XMRX7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DOVHU74QKTWUXR63YC5T5XMRX7/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-31T16:39:34Z","links":{"resolver":"https://pith.science/pith/DOVHU74QKTWUXR63YC5T5XMRX7","bundle":"https://pith.science/pith/DOVHU74QKTWUXR63YC5T5XMRX7/bundle.json","state":"https://pith.science/pith/DOVHU74QKTWUXR63YC5T5XMRX7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DOVHU74QKTWUXR63YC5T5XMRX7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:DOVHU74QKTWUXR63YC5T5XMRX7","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":"731aeb421fb2553ef7b8dba948e41ed7af21210e81d2dc1fb16af91cb0e00630","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-20T14:55:08Z","title_canon_sha256":"13442fa0028ff7cfc582810a9356e6f943460d3caccae6e6460f6288afcc51f2"},"schema_version":"1.0","source":{"id":"1504.05078","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.05078","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"arxiv_version","alias_value":"1504.05078v1","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.05078","created_at":"2026-05-18T02:18:22Z"},{"alias_kind":"pith_short_12","alias_value":"DOVHU74QKTWU","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"DOVHU74QKTWUXR63","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"DOVHU74Q","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:26809bd9bad368370270099922e676454d3d5c78c26d8527e6bc77953066387d","target":"graph","created_at":"2026-05-18T02:18:22Z","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":"Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least one failing test, generate a patch that makes all test cases pass. Consequently, repairing infinites loop means having at least one test case that hangs by triggering the infinite loop. Our system to autom","authors_text":"Martin Monperrus, Sebastian R. Lamelas Marcote","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-20T14:55:08Z","title":"Automatic Repair of Infinite Loops"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.05078","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:8361b2c00313e2fab6f8bdb9a8c5d757b5d44a6f7904428ecc625fd98a3dda6e","target":"record","created_at":"2026-05-18T02:18:22Z","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":"731aeb421fb2553ef7b8dba948e41ed7af21210e81d2dc1fb16af91cb0e00630","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2015-04-20T14:55:08Z","title_canon_sha256":"13442fa0028ff7cfc582810a9356e6f943460d3caccae6e6460f6288afcc51f2"},"schema_version":"1.0","source":{"id":"1504.05078","kind":"arxiv","version":1}},"canonical_sha256":"1baa7a7f9054ed4bc7dbc0bb3edd91bfe60ed0a353605f900ed6ab8abf21c7b4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1baa7a7f9054ed4bc7dbc0bb3edd91bfe60ed0a353605f900ed6ab8abf21c7b4","first_computed_at":"2026-05-18T02:18:22.703342Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:18:22.703342Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oOLcrRSTxggO82GEo4tEOnoQaukpYpm/KW3GuLCkNCClVL0c9wfBTXVi2Uxll2jYd5bQBm895KSK80d0oIrvCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:18:22.704014Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.05078","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8361b2c00313e2fab6f8bdb9a8c5d757b5d44a6f7904428ecc625fd98a3dda6e","sha256:26809bd9bad368370270099922e676454d3d5c78c26d8527e6bc77953066387d"],"state_sha256":"abdc11074c393f4903994df7abbde4309c67e0c1a62bdfd0b677f42c2a7fd132"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dKft3S6dYwocJ+JswtWVuaWfkoOcz0HFAM0365oVfOVgTRdCzmNRzpnQVCW7ezFJ0OxXEcRVcVnmtP5fjvMCDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T16:39:34.285273Z","bundle_sha256":"324f779abc546e9cd1e7d16a9e456a8b5ea4c15a1d253e0a7a120b2a17c5af7e"}}