{"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"}