BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Test Generation and Fault Localization for Web Applications - Fran
 k Tip\, IBM T.J. Watson Research Center
DTSTART:20101013T131500Z
DTEND:20101013T141500Z
UID:TALK26385@talks.cam.ac.uk
CONTACT:Stephen Clark
DESCRIPTION:The Apollo project at IBM Research aims to develop practical a
 utomated techniques for finding and localizing bugs in web applications.  
 We adapted an existing dynamic test generation technique that combines con
 crete and symbolic execution to the\ndomain of web applications written in
  PHP\, and used it to find dozens of failures in open-source PHP applicati
 ons. To help programmers with localizing the faults that cause these failu
 res\, we adapted existing fault localization techniques that predict\nin w
 hich statements a fault is located by applying a statistical analysis to e
 xecution data gathered from multiple tests.  Our results indicate that\, u
 sing our\nbest technique\, 87.7% of faults are localized to within 1% of a
 ll executed statements. We also address\nthe question of how to localize a
  fault when the programmer is confronted with a failure but no test suite 
 is available that can be used for fault localization. In such cases\, our 
 new directed test generation technique is capable of generating small\ntes
 t suites with high fault-localization effectiveness.\n\nThis research is j
 oint work with Shay Artzi\, Danny Dig\, Julian Dolby\, Michael Ernst\, Ada
 m Kiezun\, and Marco Pistoia. More details about this work can be found\ni
 n our ISSTA'08\, ICSE'10\, and ISSTA'10 papers.\n\nFrank Tip received his 
 PhD in 1995 from the University of Amsterdam. Since then\, he has been wit
 h IBM Research\, where he is currently managing the Program\nAnalysis and 
 Transformation Group. Frank's current research interests include Refactori
 ng\,\nTest Generation and Fault Localization for Web Applications\, Data-C
 entric Synchronization\nand Declarative Object Identity for Object-Oriente
 d Programming Languages\, and Change Impact Analysis. Frank is currently o
 n sabbatical with the Programming\nTools Group at the University of Oxford
 .\n
LOCATION:Lecture Theatre 1\, Computer Laboratory
END:VEVENT
END:VCALENDAR