{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:G4QH2KWOTC2U3SQLGHFGT5COKP","short_pith_number":"pith:G4QH2KWO","canonical_record":{"source":{"id":"2505.17839","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-23T12:53:28Z","cross_cats_sorted":[],"title_canon_sha256":"b53aa663d40023ff2147e45190b240b05dcdd7b41302943700657748aa04705d","abstract_canon_sha256":"8d13217f2cbdf21d2fa454a885b9a9650a89925ed3840a7230e8ba5515c9acd0"},"schema_version":"1.0"},"canonical_sha256":"37207d2ace98b54dca0b31ca69f44e53d38319447f09377b66104d1dae55c43f","source":{"kind":"arxiv","id":"2505.17839","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17839","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17839v1","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17839","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_12","alias_value":"G4QH2KWOTC2U","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_16","alias_value":"G4QH2KWOTC2U3SQL","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_8","alias_value":"G4QH2KWO","created_at":"2026-07-05T11:08:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:G4QH2KWOTC2U3SQLGHFGT5COKP","target":"record","payload":{"canonical_record":{"source":{"id":"2505.17839","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-23T12:53:28Z","cross_cats_sorted":[],"title_canon_sha256":"b53aa663d40023ff2147e45190b240b05dcdd7b41302943700657748aa04705d","abstract_canon_sha256":"8d13217f2cbdf21d2fa454a885b9a9650a89925ed3840a7230e8ba5515c9acd0"},"schema_version":"1.0"},"canonical_sha256":"37207d2ace98b54dca0b31ca69f44e53d38319447f09377b66104d1dae55c43f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:08:32.683506Z","signature_b64":"zMPN2g8kVr1iLP7rMeBy3b7suYQw1+nTc6n6fnoYrMwEc1JB8/O+DuysstaUglRfCFsOBooccfE3ItneGg/IBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"37207d2ace98b54dca0b31ca69f44e53d38319447f09377b66104d1dae55c43f","last_reissued_at":"2026-07-05T11:08:32.682911Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:08:32.682911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2505.17839","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-05T11:08:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cQOVOgm0DCJLn4o0n1bEMeXoBtrK1V6AyAfCELKVw+zUAgssPQufHckEiI9A+AZwdS2R8XTFGFGJRu/QMeu0Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:12:41.212677Z"},"content_sha256":"6ccc822351b64c00cf0232e43321a721d658ea36f4aabbfb82f6e54652cf8170","schema_version":"1.0","event_id":"sha256:6ccc822351b64c00cf0232e43321a721d658ea36f4aabbfb82f6e54652cf8170"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:G4QH2KWOTC2U3SQLGHFGT5COKP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Alexander Weinert, David Heidrich, Tim Rosenbach","submitted_at":"2025-05-23T12:53:28Z","abstract_excerpt":"One important step in software development is testing the finished product with actual users. These tests aim, among other goals, at determining unintuitive behavior of the software as it is presented to the end-user. Moreover, they aim to determine inconsistencies in the user-facing interface. They provide valuable feedback for the development of the software, but are time-intensive to conduct. In this work, we present GERALLT, a system that uses Large Language Models (LLMs) to perform exploratory tests of the Graphical User Interface (GUI) of a real-life engineering software. GERALLT automat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17839","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/2505.17839/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-05T11:08:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oV3txJ3AQCVe0aaZmZPy0EBuNwJ1fSoIZGEe1eqByR4CEW4QgypJhLOPp3zK1q82diXZACnyPIO0CnepDwvEDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:12:41.213632Z"},"content_sha256":"0b62cca3e239eb9a5800ad14530868b50460e0212d19758ad42f9cf86e8d6d02","schema_version":"1.0","event_id":"sha256:0b62cca3e239eb9a5800ad14530868b50460e0212d19758ad42f9cf86e8d6d02"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/bundle.json","state_url":"https://pith.science/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/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-08-08T19:12:41Z","links":{"resolver":"https://pith.science/pith/G4QH2KWOTC2U3SQLGHFGT5COKP","bundle":"https://pith.science/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/bundle.json","state":"https://pith.science/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/G4QH2KWOTC2U3SQLGHFGT5COKP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:G4QH2KWOTC2U3SQLGHFGT5COKP","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":"8d13217f2cbdf21d2fa454a885b9a9650a89925ed3840a7230e8ba5515c9acd0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-23T12:53:28Z","title_canon_sha256":"b53aa663d40023ff2147e45190b240b05dcdd7b41302943700657748aa04705d"},"schema_version":"1.0","source":{"id":"2505.17839","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.17839","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"arxiv_version","alias_value":"2505.17839v1","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.17839","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_12","alias_value":"G4QH2KWOTC2U","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_16","alias_value":"G4QH2KWOTC2U3SQL","created_at":"2026-07-05T11:08:32Z"},{"alias_kind":"pith_short_8","alias_value":"G4QH2KWO","created_at":"2026-07-05T11:08:32Z"}],"graph_snapshots":[{"event_id":"sha256:0b62cca3e239eb9a5800ad14530868b50460e0212d19758ad42f9cf86e8d6d02","target":"graph","created_at":"2026-07-05T11:08:32Z","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/2505.17839/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"One important step in software development is testing the finished product with actual users. These tests aim, among other goals, at determining unintuitive behavior of the software as it is presented to the end-user. Moreover, they aim to determine inconsistencies in the user-facing interface. They provide valuable feedback for the development of the software, but are time-intensive to conduct. In this work, we present GERALLT, a system that uses Large Language Models (LLMs) to perform exploratory tests of the Graphical User Interface (GUI) of a real-life engineering software. GERALLT automat","authors_text":"Alexander Weinert, David Heidrich, Tim Rosenbach","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-23T12:53:28Z","title":"Automated Testing of the GUI of a Real-Life Engineering Software using Large Language Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.17839","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:6ccc822351b64c00cf0232e43321a721d658ea36f4aabbfb82f6e54652cf8170","target":"record","created_at":"2026-07-05T11:08:32Z","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":"8d13217f2cbdf21d2fa454a885b9a9650a89925ed3840a7230e8ba5515c9acd0","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.SE","submitted_at":"2025-05-23T12:53:28Z","title_canon_sha256":"b53aa663d40023ff2147e45190b240b05dcdd7b41302943700657748aa04705d"},"schema_version":"1.0","source":{"id":"2505.17839","kind":"arxiv","version":1}},"canonical_sha256":"37207d2ace98b54dca0b31ca69f44e53d38319447f09377b66104d1dae55c43f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"37207d2ace98b54dca0b31ca69f44e53d38319447f09377b66104d1dae55c43f","first_computed_at":"2026-07-05T11:08:32.682911Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:08:32.682911Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zMPN2g8kVr1iLP7rMeBy3b7suYQw1+nTc6n6fnoYrMwEc1JB8/O+DuysstaUglRfCFsOBooccfE3ItneGg/IBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:08:32.683506Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.17839","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ccc822351b64c00cf0232e43321a721d658ea36f4aabbfb82f6e54652cf8170","sha256:0b62cca3e239eb9a5800ad14530868b50460e0212d19758ad42f9cf86e8d6d02"],"state_sha256":"4b291e3c436cdb60bedaa385f6777c10752d3700bbed0d6c9a0de15ce93cde6a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sgaMLPOR8yaLVtG4sPiAWgcjdqDnpkoneesrkQe2LVPrXh3kWWW2DDDUyF0tMBByM3T9qq2Ro1/xTSL+CWyeBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T19:12:41.221014Z","bundle_sha256":"c889aa98717c08844109c405ce21769b947ff1dfd8b18eab0d2616e954466491"}}