BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Encoding D-Bus protocol state machines for testing client implemen
 tations - Philip Withnall (University of Cambridge)
DTSTART:20120203T160000Z
DTEND:20120203T163000Z
UID:TALK36249@talks.cam.ac.uk
CONTACT:Wei Ming Khoo
DESCRIPTION:Testing D-Bus–based protocols like those used by Telepathy\,
  an IM framework\, is hard\, and currently requires lots of mock-up code t
 o be written manually. A new language was designed to specify the D-Bus pr
 otocols' state machines\, and a tool was written to mock up half of a D-Bu
 s conversation using this language\, so as to automatically explore the st
 ate space of libfolks or other Telepathy clients. This has enabled more ef
 fective fuzz and unit testing of programs which use D-Bus\, measured by th
 e lines of code exercised.\n
LOCATION:Computer Laboratory\, William Gates Building\, Room FW11
END:VEVENT
END:VCALENDAR