{"id":338813,"date":"2009-07-19T16:01:54","date_gmt":"2009-07-19T23:01:54","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-event&p=338813"},"modified":"2025-08-06T12:03:02","modified_gmt":"2025-08-06T19:03:02","slug":"international-workshop-defects-large-software-systems-defects-2009","status":"publish","type":"msr-event","link":"https:\/\/www.microsoft.com\/en-us\/research\/event\/international-workshop-defects-large-software-systems-defects-2009\/","title":{"rendered":"International Workshop on Defects in Large Software Systems (DEFECTS 2009)"},"content":{"rendered":"\n\n
\n
\n

Holiday Inn Chicago Mart Plaza (opens in new tab)<\/span><\/a>
\n350 West Mart Center Drive (map) (opens in new tab)<\/span><\/a>
\nChicago, IL 60654, USA
\nCo-located with ISSTA 2009 (opens in new tab)<\/span><\/a>.<\/p>\n<\/div>\n<\/div>\n

Opens in a new tab<\/span><\/p>\n

\n

This page is for archival purposes. Some links might be broken.<\/em><\/p>\n

News<\/h1>\n

Registration is open.\u00a0Early registration (opens in new tab)<\/span><\/a> ends on 2009-06-19. Register now!
\nProgram is\u00a0online. (2009-06-05)<\/p>\n<\/div>\n

<\/div>\n
\n

Program<\/h1>\n

9:00-10:30\u00a0 \u00a0Keynote<\/h3>\n

Bill Pugh. Defects that matter: Lessons from the Trenches<\/p>\n

“As part of the talk, I’ll summarize the May 2009 FindBugs fixit in which 700 engineers at Google looked at 4,000 FindBugs warnings on Google’s java codebase. 300 of the engineers supplied a total of more than 9,000 classifications of issues, and more than 80% of the classifications were should fix or must fix. More than 1,500 of the issues were removed from Google’s code base over several days. I’ll talk about how we designed and conducted the fixit, and what we expected and learned about cost effective removal of defects at Google.” read the full abstract… (opens in new tab)<\/span><\/a><\/p>\n

To find out more about the creator of FindBugs and five-time JavaOne rock star, visit <\/em>Bill Pugh’s homepage<\/em> (opens in new tab)<\/span><\/a>.\u00a0<\/em><\/p>\n

10:30-11:00\u00a0\u00a0\u00a0Coffee Break<\/h3>\n

11:00-12:30\u00a0 \u00a0Empirical Studies<\/h3>\n

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<\/p>\n

Thomas Panas and Daniel Quinlan.\u00a0Techniques for Software Quality Analysis of Binaries: Applied to Windows and Linux<\/p>\n

Nathaniel Ayewah and Bill Pugh. Using Checklists to Review Static Analysis Warnings<\/p>\n

Prasanth Anbalagan and Mladen Vouk. “Days of the Week” Effect in Predicting the Time taken to Fix Defects [Short Paper]<\/p>\n

(Regular paper = 25 minutes. Short paper = 15 minutes)<\/p>\n

12:30-14:00\u00a0\u00a0\u00a0Lunch Break<\/h3>\n

14:00-15:30\u00a0 \u00a0“Unconference”<\/h3>\n

More details soon.<\/p>\n

15:30-16:00\u00a0 \u00a0Coffee Break<\/h3>\n

16:00-17:30\u00a0 \u00a0Program Analysis<\/h3>\n

Cristina Cifuentes, Christian Hoermann, Nathan Keynes, Lian Li, Simon Long, Erica Mealy, Michael Mounteney and Bernhard Scholz. BegBunch — Benchmarking for C Bug Detection Tools<\/p>\n

Ian Darwin. AnnaBot: A Static Verifier for Java Annotation Usages<\/p>\n

Daryl Shannon, Indradeep Ghosh, Sree Rajan and Sarfraz Khurshid. Efficient Symbolic Execution of Strings for Validating Web Applications<\/p>\n

Fadi Zaraket and Wes Masri. Property Based Coverage Criterion [Short Paper]<\/p>\n

(Regular paper = 25 minutes. Short paper = 15 minutes)<\/p>\n

17:30-17:35\u00a0\u00a0 Workshop Wrap-up<\/h3>\n<\/div>\n
\n

Call for Papers<\/h1>\n

Bugs are everywhere in today’s software and because of the huge economic damage they are actively studied by research. In program analysis, researchers develop defect detection tools that identify anomalies in programs and report them as possible defects. Defect localization takes a given failure and identifies the cause of the defect. In empirical software engineering, researchers identify factors that correlate with defects and build prediction models to effectively allocate resources for quality assurance to the parts of the software that need it most. Most of this research is conducted on medium-sized open-source projects and rarely used in industry. In the long-term human and social issues will gain importance when analyzing defects, however, there is only little research in this area so far.<\/p>\n

The goal of this one-day workshop is to connect the different research communities with each other and with industry. The workshop will provide a forum for researchers as well as practitioners to discuss issues related to all aspects of bugs. Researchers can present their tools and techniques and make them accessible to industry. Participants from industry can share their experiences and help identifying new and promising research directions.<\/p>\n

Papers may address issues along the general themes, including but not limited to the following:<\/p>\n