{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2012:3LX2BWTKS7F6EOQ7LW3XZF7RJC","short_pith_number":"pith:3LX2BWTK","schema_version":"1.0","canonical_sha256":"daefa0da6a97cbe23a1f5db77c97f148aafb724261a4be3b0c24784fa3704297","source":{"kind":"arxiv","id":"1211.6191","version":1},"attestation_state":"computed","paper":{"title":"CTGEN - a Unit Test Generator for C","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jan Peleska, Tatiana Mangels","submitted_at":"2012-11-27T02:36:52Z","abstract_excerpt":"We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage  and functional coverage based on pre-/post-condition specifications or internal  assertions.  The generator supports automated stub generation, and data to be returned by the stub to the unit under test (UUT) may be specified by means of constraints. The typical    application field for CTGEN is embedded systems testing; therefore the tool can cope with the typical aliasing problems present in low-level C, including pointer arithmetics, structures and unions. CTGEN creates complete test p"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1211.6191","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2012-11-27T02:36:52Z","cross_cats_sorted":[],"title_canon_sha256":"ccc4f2865cdad7c0ce19f9db94c3e36f92e1aca10ebe664636481636219326e5","abstract_canon_sha256":"26576870b3365ab38c326ebd10878911b4efcdc04805901157c886a57cb47e56"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:39:52.317826Z","signature_b64":"qNFIfueUB3LojVXOTu3tdqa9claDgK7C9kMmwdQjljG8O5wj0He53ttQPfz0ZTaNhw48tpQ6fdnQ8HNd4zH/DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"daefa0da6a97cbe23a1f5db77c97f148aafb724261a4be3b0c24784fa3704297","last_reissued_at":"2026-05-18T03:39:52.317328Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:39:52.317328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"CTGEN - a Unit Test Generator for C","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Jan Peleska, Tatiana Mangels","submitted_at":"2012-11-27T02:36:52Z","abstract_excerpt":"We present a new unit test generator for C code, CTGEN. It generates test data for C1 structural coverage  and functional coverage based on pre-/post-condition specifications or internal  assertions.  The generator supports automated stub generation, and data to be returned by the stub to the unit under test (UUT) may be specified by means of constraints. The typical    application field for CTGEN is embedded systems testing; therefore the tool can cope with the typical aliasing problems present in low-level C, including pointer arithmetics, structures and unions. CTGEN creates complete test p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1211.6191","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":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1211.6191","created_at":"2026-05-18T03:39:52.317414+00:00"},{"alias_kind":"arxiv_version","alias_value":"1211.6191v1","created_at":"2026-05-18T03:39:52.317414+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1211.6191","created_at":"2026-05-18T03:39:52.317414+00:00"},{"alias_kind":"pith_short_12","alias_value":"3LX2BWTKS7F6","created_at":"2026-05-18T12:26:50.516681+00:00"},{"alias_kind":"pith_short_16","alias_value":"3LX2BWTKS7F6EOQ7","created_at":"2026-05-18T12:26:50.516681+00:00"},{"alias_kind":"pith_short_8","alias_value":"3LX2BWTK","created_at":"2026-05-18T12:26:50.516681+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC","json":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC.json","graph_json":"https://pith.science/api/pith-number/3LX2BWTKS7F6EOQ7LW3XZF7RJC/graph.json","events_json":"https://pith.science/api/pith-number/3LX2BWTKS7F6EOQ7LW3XZF7RJC/events.json","paper":"https://pith.science/paper/3LX2BWTK"},"agent_actions":{"view_html":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC","download_json":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC.json","view_paper":"https://pith.science/paper/3LX2BWTK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1211.6191&json=true","fetch_graph":"https://pith.science/api/pith-number/3LX2BWTKS7F6EOQ7LW3XZF7RJC/graph.json","fetch_events":"https://pith.science/api/pith-number/3LX2BWTKS7F6EOQ7LW3XZF7RJC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC/action/storage_attestation","attest_author":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC/action/author_attestation","sign_citation":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC/action/citation_signature","submit_replication":"https://pith.science/pith/3LX2BWTKS7F6EOQ7LW3XZF7RJC/action/replication_record"}},"created_at":"2026-05-18T03:39:52.317414+00:00","updated_at":"2026-05-18T03:39:52.317414+00:00"}