BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//pretalx.devconf.info//devconf-cz-2026//talk//ZQVHZL
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-devconf-cz-2026-ZQVHZL@pretalx.devconf.info
DTSTART;TZID=CET:20260619T101500
DTEND;TZID=CET:20260619T113500
DESCRIPTION:In this workshop\, we demonstrate how engineers can write **pro
 tocol specifications as code** to systematically produce test scenarios fo
 r their systems. We focus on distributed systems that may fail in unexpect
 ed ways. We engage the audience in thinking about complex behaviors of dis
 tributed systems as runs of an executable specification\, extending code w
 ith explicit non-determinism. This approach lets us distill complex system
  interactions while testing them against the actual deployment.\n\nOur app
 roach draws on years of experience building simulation tools and model che
 ckers in both academia and industry. In the workshop\, we:\n - Write an ex
 ecutable specification and discuss modeling and abstraction patterns.\n - 
 Write executable tests (replacing whiteboard sequence diagrams).\n - Gener
 ate tests via random and symbolic execution.\n - Use the specification to 
 drive adversarial tests of an implementation.\n - Establish safety and liv
 eness properties via model checking.
DTSTAMP:20260430T125306Z
LOCATION:C228 (capacity 24)
SUMMARY:Systematic differential and adversarial testing for distributed sys
 tems - Igor Konnov\, Thomas Pani
URL:https://pretalx.devconf.info/devconf-cz-2026/talk/ZQVHZL/
END:VEVENT
END:VCALENDAR