BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Computer Laboratory Security Group meeting present
 ations
SUMMARY:Encoding D-Bus protocol state machines for testing
  client implementations - Philip Withnall (Univers
 ity of Cambridge)
DTSTART;TZID=Europe/London:20120203T160000
DTEND;TZID=Europe/London:20120203T163000
UID:TALK36249AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/36249
DESCRIPTION:Testing D-Bus–based protocols like those used by T
 elepathy\, an IM framework\, is hard\, and current
 ly requires lots of mock-up code to be written man
 ually. A new language was designed to specify the 
 D-Bus protocols' state machines\, and a tool was w
 ritten to mock up half of a D-Bus conversation usi
 ng this language\, so as to automatically explore 
 the state space of libfolks or other Telepathy cli
 ents. This has enabled more effective fuzz and uni
 t testing of programs which use D-Bus\, measured b
 y the lines of code exercised.\n
LOCATION:Computer Laboratory\, William Gates Building\, Roo
 m FW11
CONTACT:Wei Ming Khoo
END:VEVENT
END:VCALENDAR