CONFERENCE METADATA — incomplete historical coverage; source presence is not proof of delivery.
Research dataset: Lukas Walter, Clemens Sauerwein, Daniel Woods, InfoSec.pptx, https://doi.org/10.5281/zenodo.15989593, CC BY 4.0 https://creativecommons.org/licenses/by/4.0/. Changes: metadata extraction, exact-match reconciliation and uncertainty flags. No endorsement implied.

{
  "id": "ccc-af17afda-9677-5407-ba16-02b8ffe01231",
  "title": "An Introduction to Automated Software Testing using Symbolic Execution",
  "presenters": [
    "nmeum"
  ],
  "event": "Hackover 2026",
  "year": "2026",
  "source_url": "https://media.ccc.de/v/ho26-146-an-introduction-to-automated-software-testing-using-symbolic-execution",
  "source_kind": "CCC recording catalog",
  "source_file": "ccc-hackover2026.json",
  "rights": "Metadata and source links only; abstracts, biographies, transcripts and media not republished",
  "delivery_status": "Not independently verified",
  "title_status": "source supplied",
  "presenter_status": "source supplied",
  "media": [
    {
      "kind": "recording page",
      "url": "https://media.ccc.de/v/ho26-146-an-introduction-to-automated-software-testing-using-symbolic-execution"
    }
  ],
  "provenance": [
    {
      "event": "hackover2026",
      "title": "Hackover 2026",
      "source": "https://api.media.ccc.de/public/conferences/hackover2026",
      "file": "ccc-hackover2026.json",
      "sha256": "a0c0564a94060b28c3632b66de93615a45961ba85b3d27bc52d140df545ce431",
      "checked": "2026-10-16T03:47:05Z",
      "source_records": 15
    }
  ],
  "source_guid": "af17afda-9677-5407-ba16-02b8ffe01231",
  "source_event_api": "https://api.media.ccc.de/public/events/af17afda-9677-5407-ba16-02b8ffe01231",
  "date": "2026-07-17T17:00:00.000+02:00",
  "duration_seconds": 3712,
  "language": "eng",
  "tags": [
    "146",
    "2026",
    "hackover2026",
    "Celebration (1.7)",
    "hackover2026-eng",
    "Day 2"
  ],
  "event_acronym": "hackover2026",
  "source_schedule_url": ""
}