{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:U2634NORTAFQU7GFFSNOAV7A7F","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":"e01fa921ae9c1544e048719d99a724ca82fb5846a1e566998ba934ca780855cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-08T08:41:00Z","title_canon_sha256":"e484336408311db80493368cbca2dda13b23ff241b5598ce865285f3a29373ea"},"schema_version":"1.0","source":{"id":"1611.02429","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.02429","created_at":"2026-05-18T00:59:52Z"},{"alias_kind":"arxiv_version","alias_value":"1611.02429v1","created_at":"2026-05-18T00:59:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.02429","created_at":"2026-05-18T00:59:52Z"},{"alias_kind":"pith_short_12","alias_value":"U2634NORTAFQ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"U2634NORTAFQU7GF","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"U2634NOR","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:65ba9e9b6effdf1fca3a1a5b788ffe2f90515b23906cab37a527cbbc6a1c7ddc","target":"graph","created_at":"2026-05-18T00:59:52Z","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"},"paper":{"abstract_excerpt":"An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine conformance testing and mutation-based fuzzing methods for obtaining counterexamples when learning finite state machine models for the reactive software systems of the Rigorous Exampination of Reactive Systems (RERS) challenge. We have found that for the LTL problems of the challenge the fuzzer provided an independent confirmation that the learning process had been successful, since no additional counterexamples were ","authors_text":"Joshua Moerman, Mark Janssen, Rick Smetsers, Sicco Verwer","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-08T08:41:00Z","title":"Complementing Model Learning with Mutation-Based Fuzzing"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.02429","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:6acb03b419c4fabd08b2dd58c36453ec7c5f5c99adb39aa9212415f992b81709","target":"record","created_at":"2026-05-18T00:59:52Z","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":"e01fa921ae9c1544e048719d99a724ca82fb5846a1e566998ba934ca780855cc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2016-11-08T08:41:00Z","title_canon_sha256":"e484336408311db80493368cbca2dda13b23ff241b5598ce865285f3a29373ea"},"schema_version":"1.0","source":{"id":"1611.02429","kind":"arxiv","version":1}},"canonical_sha256":"a6bdbe35d1980b0a7cc52c9ae057e0f96abeabb7dbfea6cc5bc7f9fd3f707adb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a6bdbe35d1980b0a7cc52c9ae057e0f96abeabb7dbfea6cc5bc7f9fd3f707adb","first_computed_at":"2026-05-18T00:59:52.064438Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:59:52.064438Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0+Olv1VhF7dAOpKQueMAFUz6hzAy8Zr8tJTx8pGbt+2nIydAb2QQeHos/G0VUprkQXW2D4gzX3bC9xsrAUWNBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:59:52.065228Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.02429","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6acb03b419c4fabd08b2dd58c36453ec7c5f5c99adb39aa9212415f992b81709","sha256:65ba9e9b6effdf1fca3a1a5b788ffe2f90515b23906cab37a527cbbc6a1c7ddc"],"state_sha256":"c4feef3e5e039ff9b5d45aac97177e7b3b0b9f1e3936cec880e56cb44f3fa3fc"}