{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:TTNGLBTCO6RWDQIKFKC6SOID6L","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":"99ffa745fa5651eb32ae753579fd94cdc6b2304094b2833c6d81c141f48aa968","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T23:32:35Z","title_canon_sha256":"c079fc75158a7228f383cc2cc3b4f0f65dd2125919d8b15f1a2108afba560bc6"},"schema_version":"1.0","source":{"id":"2509.05540","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.05540","created_at":"2026-07-05T12:05:49Z"},{"alias_kind":"arxiv_version","alias_value":"2509.05540v1","created_at":"2026-07-05T12:05:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.05540","created_at":"2026-07-05T12:05:49Z"},{"alias_kind":"pith_short_12","alias_value":"TTNGLBTCO6RW","created_at":"2026-07-05T12:05:49Z"},{"alias_kind":"pith_short_16","alias_value":"TTNGLBTCO6RWDQIK","created_at":"2026-07-05T12:05:49Z"},{"alias_kind":"pith_short_8","alias_value":"TTNGLBTC","created_at":"2026-07-05T12:05:49Z"}],"graph_snapshots":[{"event_id":"sha256:2a6f1f80c16fae33fe437d590aa178bb4a30230d89a1cbc4cf3a1964c8400868","target":"graph","created_at":"2026-07-05T12:05:49Z","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/2509.05540/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The effective execution of tests for REST APIs remains a considerable challenge for development teams, driven by the inherent complexity of distributed systems, the multitude of possible scenarios, and the limited time available for test design. Exhaustive testing of all input combinations is impractical, often resulting in undetected failures, high manual effort, and limited test coverage. To address these issues, we introduce RestTSLLM, an approach that uses Test Specification Language (TSL) in conjunction with Large Language Models (LLMs) to automate the generation of test cases for REST AP","authors_text":"Aline Paes, Thiago Barradas, V\\^ania de Oliveira Neves","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T23:32:35Z","title":"Combining TSL and LLM to Automate REST API Testing: A Comparative Study"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.05540","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:bf861421bfab330edb833aa04ad2d8344f934b37a6e26cd88ac55e00dde5c9bf","target":"record","created_at":"2026-07-05T12:05:49Z","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":"99ffa745fa5651eb32ae753579fd94cdc6b2304094b2833c6d81c141f48aa968","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-05T23:32:35Z","title_canon_sha256":"c079fc75158a7228f383cc2cc3b4f0f65dd2125919d8b15f1a2108afba560bc6"},"schema_version":"1.0","source":{"id":"2509.05540","kind":"arxiv","version":1}},"canonical_sha256":"9cda65866277a361c10a2a85e93903f2e6884d0fc6959d27be7c1ea2b7c50cef","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cda65866277a361c10a2a85e93903f2e6884d0fc6959d27be7c1ea2b7c50cef","first_computed_at":"2026-07-05T12:05:49.595243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:49.595243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"badbXNEXZkfH7nq4PGKdDZdC8uCfTZWtNRg9wuC7LLz52/pZ0pr5VXYA5eYK4vX/iS44asC6r5l7ewC1BJbLDg==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:49.595750Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.05540","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bf861421bfab330edb833aa04ad2d8344f934b37a6e26cd88ac55e00dde5c9bf","sha256:2a6f1f80c16fae33fe437d590aa178bb4a30230d89a1cbc4cf3a1964c8400868"],"state_sha256":"4a3e3c8f08791bd3b0a5cddc7f2d4bc4517b3516c2b7a2cf7154df5f1926e0a1"}