{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:FATWZWRVAIEO5DES4COM4WJI4N","short_pith_number":"pith:FATWZWRV","canonical_record":{"source":{"id":"2012.03759","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-12-07T14:53:26Z","cross_cats_sorted":[],"title_canon_sha256":"7ef1f7750a04f827154538354fc6c3760ba49b9fd4d5bc94fbb8959905e584f2","abstract_canon_sha256":"4ec9e047eefa015a58902402d95dd73dc7adc1efdd402798f0cfbabd7ce3067c"},"schema_version":"1.0"},"canonical_sha256":"28276cda350208ee8c92e09cce5928e37e90157e30b1c98afd973f803c5184eb","source":{"kind":"arxiv","id":"2012.03759","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.03759","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"2012.03759v1","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.03759","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"FATWZWRVAIEO","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_16","alias_value":"FATWZWRVAIEO5DES","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_8","alias_value":"FATWZWRV","created_at":"2026-07-05T01:57:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:FATWZWRVAIEO5DES4COM4WJI4N","target":"record","payload":{"canonical_record":{"source":{"id":"2012.03759","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-12-07T14:53:26Z","cross_cats_sorted":[],"title_canon_sha256":"7ef1f7750a04f827154538354fc6c3760ba49b9fd4d5bc94fbb8959905e584f2","abstract_canon_sha256":"4ec9e047eefa015a58902402d95dd73dc7adc1efdd402798f0cfbabd7ce3067c"},"schema_version":"1.0"},"canonical_sha256":"28276cda350208ee8c92e09cce5928e37e90157e30b1c98afd973f803c5184eb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:57:33.758192Z","signature_b64":"rb9Pji2aloriBB9z4VtQV0tr1ah+j9G1yos2B6i7vbO1yqVXDfaItYZnkAYglxgVI7IpEwzeSC7j3R0fNQBQAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"28276cda350208ee8c92e09cce5928e37e90157e30b1c98afd973f803c5184eb","last_reissued_at":"2026-07-05T01:57:33.757784Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:57:33.757784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2012.03759","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-07-05T01:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jphs8y0BJxQeD+9J1qS46OStwuARFCjuUwuQTmOtdaR5PdNzSjOPtouK37fe9zUZfdjvgWmSLX+hKvf5BN1MDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:36:02.042412Z"},"content_sha256":"f7f53a9133493ce2e6114af61cfb831a8800d7a8ac467376bb5fcd70027aceb5","schema_version":"1.0","event_id":"sha256:f7f53a9133493ce2e6114af61cfb831a8800d7a8ac467376bb5fcd70027aceb5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:FATWZWRVAIEO5DES4COM4WJI4N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Breno Miranda, Gustavo Pinto, Igor Lima, Jefferson Silva, Marcelo d'Amorim","submitted_at":"2020-12-07T14:53:26Z","abstract_excerpt":"Context. JavaScript is a popular programming language today with several implementations competing for market dominance. Although a specification document and a conformance test suite exist to guide engine development, bugs occur and have important practical consequences. Implementing correct engines is challenging because the spec is intentionally incomplete and evolves frequently. Objective. This paper investigates the use of test transplantation and differential testing for revealing functional bugs in JavaScript engines. The former technique runs the regression test suite of a given engine"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.03759","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2012.03759/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:57:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"p6D+5oCevpC21bIMEWEv+GZY1aVZ69z8NCTQt/vDK2JAPniXPYnLOBLp2YifT4WyZn2JF/vuQfiDX17dzI7fAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:36:02.043064Z"},"content_sha256":"4cf2f65af6ae07a3785caa01c2057db3c9c4fcacd0ba3ecc5810d2dcd5878ac0","schema_version":"1.0","event_id":"sha256:4cf2f65af6ae07a3785caa01c2057db3c9c4fcacd0ba3ecc5810d2dcd5878ac0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FATWZWRVAIEO5DES4COM4WJI4N/bundle.json","state_url":"https://pith.science/pith/FATWZWRVAIEO5DES4COM4WJI4N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FATWZWRVAIEO5DES4COM4WJI4N/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-07-07T06:36:02Z","links":{"resolver":"https://pith.science/pith/FATWZWRVAIEO5DES4COM4WJI4N","bundle":"https://pith.science/pith/FATWZWRVAIEO5DES4COM4WJI4N/bundle.json","state":"https://pith.science/pith/FATWZWRVAIEO5DES4COM4WJI4N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FATWZWRVAIEO5DES4COM4WJI4N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:FATWZWRVAIEO5DES4COM4WJI4N","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":"4ec9e047eefa015a58902402d95dd73dc7adc1efdd402798f0cfbabd7ce3067c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-12-07T14:53:26Z","title_canon_sha256":"7ef1f7750a04f827154538354fc6c3760ba49b9fd4d5bc94fbb8959905e584f2"},"schema_version":"1.0","source":{"id":"2012.03759","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2012.03759","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"arxiv_version","alias_value":"2012.03759v1","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2012.03759","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_12","alias_value":"FATWZWRVAIEO","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_16","alias_value":"FATWZWRVAIEO5DES","created_at":"2026-07-05T01:57:33Z"},{"alias_kind":"pith_short_8","alias_value":"FATWZWRV","created_at":"2026-07-05T01:57:33Z"}],"graph_snapshots":[{"event_id":"sha256:4cf2f65af6ae07a3785caa01c2057db3c9c4fcacd0ba3ecc5810d2dcd5878ac0","target":"graph","created_at":"2026-07-05T01:57:33Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2012.03759/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Context. JavaScript is a popular programming language today with several implementations competing for market dominance. Although a specification document and a conformance test suite exist to guide engine development, bugs occur and have important practical consequences. Implementing correct engines is challenging because the spec is intentionally incomplete and evolves frequently. Objective. This paper investigates the use of test transplantation and differential testing for revealing functional bugs in JavaScript engines. The former technique runs the regression test suite of a given engine","authors_text":"Breno Miranda, Gustavo Pinto, Igor Lima, Jefferson Silva, Marcelo d'Amorim","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-12-07T14:53:26Z","title":"Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2012.03759","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:f7f53a9133493ce2e6114af61cfb831a8800d7a8ac467376bb5fcd70027aceb5","target":"record","created_at":"2026-07-05T01:57:33Z","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":"4ec9e047eefa015a58902402d95dd73dc7adc1efdd402798f0cfbabd7ce3067c","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2020-12-07T14:53:26Z","title_canon_sha256":"7ef1f7750a04f827154538354fc6c3760ba49b9fd4d5bc94fbb8959905e584f2"},"schema_version":"1.0","source":{"id":"2012.03759","kind":"arxiv","version":1}},"canonical_sha256":"28276cda350208ee8c92e09cce5928e37e90157e30b1c98afd973f803c5184eb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"28276cda350208ee8c92e09cce5928e37e90157e30b1c98afd973f803c5184eb","first_computed_at":"2026-07-05T01:57:33.757784Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:57:33.757784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rb9Pji2aloriBB9z4VtQV0tr1ah+j9G1yos2B6i7vbO1yqVXDfaItYZnkAYglxgVI7IpEwzeSC7j3R0fNQBQAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:57:33.758192Z","signed_message":"canonical_sha256_bytes"},"source_id":"2012.03759","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7f53a9133493ce2e6114af61cfb831a8800d7a8ac467376bb5fcd70027aceb5","sha256:4cf2f65af6ae07a3785caa01c2057db3c9c4fcacd0ba3ecc5810d2dcd5878ac0"],"state_sha256":"b7c770df717b1bba8937917537d344b3037de4a45bcd38fdc05cbf70001d398e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tHKjWemFlnCi2+Eg4e5cqDgWRcf8AoXhY7jvS3MQw1FOrs+f+QOk7NrLM+4M5veAKnEMJwGe5wReXWnX0LT3Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:36:02.046144Z","bundle_sha256":"7f9f63eebdafb838b047b991e065c87377bd69b0d5734f0ee1de0c838e8bb6db"}}