[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