{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:MAAORFT5GU7K3PN2SWVXWIMQXP","short_pith_number":"pith:MAAORFT5","canonical_record":{"source":{"id":"2607.01094","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T15:48:43Z","cross_cats_sorted":[],"title_canon_sha256":"e478fcefa6e66d6a0b91b7c46954db230ca5d31fac0f7e0c4fab01ac121081f8","abstract_canon_sha256":"cb6dc2a65e318190d4cf10a89a443d79004c7da1ebbd08c2bc26c62eafdd077f"},"schema_version":"1.0"},"canonical_sha256":"6000e8967d353eadbdba95ab7b2190bbe69e2a40f600d27599c1ea94e5d45802","source":{"kind":"arxiv","id":"2607.01094","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01094","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01094v1","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01094","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_12","alias_value":"MAAORFT5GU7K","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_16","alias_value":"MAAORFT5GU7K3PN2","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_8","alias_value":"MAAORFT5","created_at":"2026-07-02T01:18:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:MAAORFT5GU7K3PN2SWVXWIMQXP","target":"record","payload":{"canonical_record":{"source":{"id":"2607.01094","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T15:48:43Z","cross_cats_sorted":[],"title_canon_sha256":"e478fcefa6e66d6a0b91b7c46954db230ca5d31fac0f7e0c4fab01ac121081f8","abstract_canon_sha256":"cb6dc2a65e318190d4cf10a89a443d79004c7da1ebbd08c2bc26c62eafdd077f"},"schema_version":"1.0"},"canonical_sha256":"6000e8967d353eadbdba95ab7b2190bbe69e2a40f600d27599c1ea94e5d45802","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-02T01:18:28.889499Z","signature_b64":"XZiOaah+eVH3jVtEQNeVHeE1VHAVnxLifBEn3Cw7ObAJp+p1b2qGvoSHCbKeJ0zz43WNgTDRX6TGDxVNoatgDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6000e8967d353eadbdba95ab7b2190bbe69e2a40f600d27599c1ea94e5d45802","last_reissued_at":"2026-07-02T01:18:28.889132Z","signature_status":"signed_v1","first_computed_at":"2026-07-02T01:18:28.889132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.01094","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-02T01:18:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sPQ4LV/C7O9LfkB1LLgaWGL/d7I14kMBXhENzTGk8ZDGslP2Zh9gnZgkUh7GU9IzjxOiQnBkRPBXVLksJafqAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:11:01.609639Z"},"content_sha256":"40e2e4f736c20a1b774765a438b066a8c13332e37b65b239f41aa1c3c0a15a84","schema_version":"1.0","event_id":"sha256:40e2e4f736c20a1b774765a438b066a8c13332e37b65b239f41aa1c3c0a15a84"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:MAAORFT5GU7K3PN2SWVXWIMQXP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Model-based Testing Technique for Amazon Lex Task-based Chatbots","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alessandro Vasina, Diego Clerissi, Leonardo Mariani","submitted_at":"2026-07-01T15:48:43Z","abstract_excerpt":"Task-based chatbots are nowadays widely adopted software systems, usually integrated into real-world applications and communication channels, designed to assist users in completing tasks through conversational interfaces. Like any other software, even chatbots are prone to bugs. Despite their increasing pervasiveness in everyday activities, existing techniques for assessing their quality still exhibit several limitations, such as the simplicity of generated test scenarios and oracle weaknesses.\n  In this paper, we present LexTester, an automated model-based testing technique for Amazon Lex cha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01094","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/2607.01094/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-02T01:18:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XbtZQ4MzCKaOw9Bg8HucnnXp98644XyqmRBCYj6hkgaYI+UEjk0qOQSsj0JKH1i1KVP66UwXsTS6DZUly5yaCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-08T22:11:01.610009Z"},"content_sha256":"19b62da48fe36f9090470b3c084449b8aecb621f8e4856d216e670e1973c0755","schema_version":"1.0","event_id":"sha256:19b62da48fe36f9090470b3c084449b8aecb621f8e4856d216e670e1973c0755"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/bundle.json","state_url":"https://pith.science/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/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-08T22:11:01Z","links":{"resolver":"https://pith.science/pith/MAAORFT5GU7K3PN2SWVXWIMQXP","bundle":"https://pith.science/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/bundle.json","state":"https://pith.science/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MAAORFT5GU7K3PN2SWVXWIMQXP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MAAORFT5GU7K3PN2SWVXWIMQXP","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":"cb6dc2a65e318190d4cf10a89a443d79004c7da1ebbd08c2bc26c62eafdd077f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T15:48:43Z","title_canon_sha256":"e478fcefa6e66d6a0b91b7c46954db230ca5d31fac0f7e0c4fab01ac121081f8"},"schema_version":"1.0","source":{"id":"2607.01094","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01094","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01094v1","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01094","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_12","alias_value":"MAAORFT5GU7K","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_16","alias_value":"MAAORFT5GU7K3PN2","created_at":"2026-07-02T01:18:28Z"},{"alias_kind":"pith_short_8","alias_value":"MAAORFT5","created_at":"2026-07-02T01:18:28Z"}],"graph_snapshots":[{"event_id":"sha256:19b62da48fe36f9090470b3c084449b8aecb621f8e4856d216e670e1973c0755","target":"graph","created_at":"2026-07-02T01:18:28Z","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/2607.01094/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Task-based chatbots are nowadays widely adopted software systems, usually integrated into real-world applications and communication channels, designed to assist users in completing tasks through conversational interfaces. Like any other software, even chatbots are prone to bugs. Despite their increasing pervasiveness in everyday activities, existing techniques for assessing their quality still exhibit several limitations, such as the simplicity of generated test scenarios and oracle weaknesses.\n  In this paper, we present LexTester, an automated model-based testing technique for Amazon Lex cha","authors_text":"Alessandro Vasina, Diego Clerissi, Leonardo Mariani","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T15:48:43Z","title":"A Model-based Testing Technique for Amazon Lex Task-based Chatbots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01094","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:40e2e4f736c20a1b774765a438b066a8c13332e37b65b239f41aa1c3c0a15a84","target":"record","created_at":"2026-07-02T01:18:28Z","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":"cb6dc2a65e318190d4cf10a89a443d79004c7da1ebbd08c2bc26c62eafdd077f","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2026-07-01T15:48:43Z","title_canon_sha256":"e478fcefa6e66d6a0b91b7c46954db230ca5d31fac0f7e0c4fab01ac121081f8"},"schema_version":"1.0","source":{"id":"2607.01094","kind":"arxiv","version":1}},"canonical_sha256":"6000e8967d353eadbdba95ab7b2190bbe69e2a40f600d27599c1ea94e5d45802","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6000e8967d353eadbdba95ab7b2190bbe69e2a40f600d27599c1ea94e5d45802","first_computed_at":"2026-07-02T01:18:28.889132Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-02T01:18:28.889132Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XZiOaah+eVH3jVtEQNeVHeE1VHAVnxLifBEn3Cw7ObAJp+p1b2qGvoSHCbKeJ0zz43WNgTDRX6TGDxVNoatgDw==","signature_status":"signed_v1","signed_at":"2026-07-02T01:18:28.889499Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.01094","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:40e2e4f736c20a1b774765a438b066a8c13332e37b65b239f41aa1c3c0a15a84","sha256:19b62da48fe36f9090470b3c084449b8aecb621f8e4856d216e670e1973c0755"],"state_sha256":"1340df20d7b55e3719fbbe6f289c5548d533fee8952c2a0aba97ef91dc4d663b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BaIXorZsVnQDXANw9A2S5KHAEUgg3xzImYrdFVMNmKx7viy2AMR46E8s9+gtbv4D50N0HibaNKjMZ9bXrJ6OBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-08T22:11:01.612233Z","bundle_sha256":"0e3db6248d9169ecc483c3f86baf2c334d4966a97bda6b2b26575943053cebf4"}}