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 Seminar
SUMMARY:The Effectiveness of T-way Test Data Generation - 
 Michael Ellims
DTSTART;TZID=Europe/London:20090310T161500
DTEND;TZID=Europe/London:20090310T171500
UID:TALK17328AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/17328
DESCRIPTION:This talk reports the results of a study comparing
  the effectiveness of automatically generated test
 s constructed using random and t-way combinatorial
  techniques on safety related industrial code usin
 g mutation adequacy as the acceptance metric. A re
 ference point to current best practice is provided
  by using hand generated test vectors constructed 
 during development to establish minimum acceptance
  criteria. The study shows that 2-way adequate tes
 t sets are not adequate as measured by the mutants
  kill rate compared with hand generated test sets 
 of similar size\, but that higher factor t-way tes
 t sets can perform at least as well. To reduce the
  computation overhead of testing large numbers of 
 vectors over large numbers of mutants a staged opt
 imising approach to applying t-way tests is propos
 ed and evaluated which shows improvements in execu
 tion time and final test set size.
LOCATION:Lecture Theatre 2\, Computer Laboratory\, William 
 Gates Building
CONTACT:Joseph Bonneau
END:VEVENT
END:VCALENDAR
