International Workshop on Defects in Large Software Systems
July 19, 2009. Co-located with ISSTA 2009 Holiday Inn Chicago Mart Plaza 350 West Mart Center Drive Chicago, IL 60654, USA
http://research.microsoft.com/en-us/events/defects2009/
ADVANCE PROGRAM
9:00-10:30 Keynote
Bill Pugh. Defects that matter: Lessons from the Trenches
10:30-11:00 Coffee Break
11:00-12:30 Empirical Studies
Wes Masri, Rawad Abou-Assi, Marwa El-Ghali and Nour AL-Fatairi.
An Empirical Study of the Factors that Reduce the Effectiveness of Coverage-based Fault Localization
Thomas Panas and Daniel Quinlan. Techniques for Software Quality Analysis of Binaries: Applied to Windows and Linux
Nathaniel Ayewah and Bill Pugh. Using Checklists to Review Static Analysis Warnings
Prasanth Anbalagan and Mladen Vouk. “Days of the Week” Effect in Predicting the Time taken to Fix Defects [Short Paper]
12:30-14:00 Lunch Break
14:00-15:30 “Unconference”/Discussion
15:30-16:00 Coffee Break
16:00-17:30 Program Analysis
Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney and Bernhard Scholz.
BegBunch — Benchmarking for C Bug Detection Tools
Ian Darwin. AnnaBot: A Static Verifier for Java Annotation Usages
Daryl Shannon, Indradeep Ghosh, Sree Rajan and Sarfraz Khurshid.
Efficient Symbolic Execution of Strings for Validating Web Applications
Fadi Zaraket and Wes Masri. Property Based Coverage Criterion [Short Paper]
17:30-17:35 Workshop Wrap-up
THE VENUE
DEFECTS 2009 will take place at the Holiday Inn Chicago Mart Plaza 350 West Mart Center Drive, Chicago, IL 60654, USA
http://www.martplaza.com/
To obtain special room rates, a reservation must be made by June 19, 2009. See the ISSTA 2009 Web site for details.
REGISTER NOW
To register, visit the ISSTA 2009 Web site http://www.cse.msu.edu/issta09/#Registration
Early registration ends on June 19, 2009.