[ecoop-info] CfPart - DEFECTS 2009
Tom Zimmermann
zimmerth at cpsc.ucalgary.ca
Thu Jun 11 18:44:42 CEST 2009
DEFECTS 2009 - Call for Participation
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.
More information about the ecoop-info
mailing list