WODA 2005 will bring together researchers and practitioners working in all areas of dynamic analysis. Dynamic analysis techniques reason over program executions and show promise in aiding the development of robust and reliable large-scale systems. It has become increasingly clear that limitations of static analysis can be overcome by integrating static and dynamic analyses, and that the performance and value of dynamic analysis can be improved by static analysis. Hence, a key focus of the workshop will be on hybrid analyses that involve both static and dynamic components.
WODA 2005 will be a one-day workshop structured to encourage discussion and develop research collaborations, thus all presentations will be limited to 15 minutes with additional time for discussions. It will build on the success of WODA 2004 and WODA 2003, which were held in conjunction with ICSE 2004 and ICSE 2003, respectively.
Prospective participants are invited to submit technical papers up to 7 pages using ICSE2005 format guidelines. Relevant topics include (but are not limited to) development of dynamic analysis tools and frameworks, statistical reasoning techniques, fault detection and debugging, analysis of program behavior, program evolution, optimization techniques, program visualization, testing, and remote analysis and measurement of software systems. To promote discussion and interaction we ask the authors to include sections on why the proposed idea might succeed and why it might fail. We are more interested in undeveloped new and exciting ideas than in well-developed less innovative ideas.
Each accepted paper must have at least one author in attendance at the workshop. Submissions will be reviewed by at least three reviewers, with content quality, workshop relevance, and potential to generate discussion as the deciding criteria for acceptance.
Important Dates:
Organizers:
Program Committee:
Web site: http://www.csd.uwo.ca/woda2005
E-mail: andrews (at) csd.uwo.ca