BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//talks.hackover.de//ho26//speaker//8YJFNZ
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-ho26-CKUL8T@talks.hackover.de
DTSTART;TZID=CET:20260717T170000
DTEND;TZID=CET:20260717T180000
DESCRIPTION:This talk provides a foundational introduction to symbolic exec
 ution. Symbolic execution is an automated software testing technique that 
 enumerates all reachable execution paths through a software under test. An
  execution path is a sequence of Boolean values specifying which branch wa
 s taken\, for every branch point in the tested software. As program execut
 ion diverts at branch points\, reasoning about execution paths is vital fo
 r software testing.\n\nTo enumerate execution paths\, symbolic execution f
 ormally reasons about the satisfiability of branch conditions. Therefore\,
  in contrast to other automated testing techniques (e.g.\, fuzzing)\, it t
 akes the program structure into account and thus goes beyond bug finding\,
  enabling us to prove properties about the tested code. That is\, show tha
 t they hold on all reachable execution paths. This presentation will expla
 in how symbolic execution works under the hood and illustrate its outlined
  capabilities using a practical example.\n\nSlides and demo material avail
 able via: <https://github.com/nmeum/symex-intro>.
DTSTAMP:20260718T045956Z
LOCATION:Celebration (1.7)
SUMMARY:An Introduction to Automated Software Testing using Symbolic Execut
 ion - nmeum
URL:https://talks.hackover.de/ho26/talk/CKUL8T/
END:VEVENT
END:VCALENDAR