Workshop on Dynamic Analysis (WODA 2003)

                              at the 
        International Conference on Software Engineering 2003

                     May 9, 2003 (tentative date)
                        Portland, Oregon, USA

The International Conference on Software Engineering (ICSE) is the 
premier software engineering conference. It provides a forum for 
researchers, practitioners, and educators to present and discuss the 
most recent advances, trends, and concerns.

We invite you to participate in the ICSE 2003 Workshop on Dynamic 
Analysis. Dynamic analysis techniques reason over the dynamic behavior 
of systems, and are playing an increasingly important role in the
delivery of robust, real-world systems. This workshop invites 
participants who are working on topics related to dynamic analysis and 
runtime monitoring, with the aim of improving the synergy and 
understanding within this community of researchers, and exposing 
participants to new ideas and to potential collaborators.

This workshop will focus on sharing ideas on and brainstorming new
approaches to effective dynamic analysis. It will cover a topical 
spectrum possibly including enabling technologies; framework and 
common tool support; event type definition, classification, and 
specification; symbolic and theoretically exact reasoning techniques; 
statistical and probabilistic reasoning techniques; research 
foundations; relationships to static analysis; relationships to 
testing; and other potential topics.

This workshop will be a one-day workshop. Potential participants are 
asked to submit a position paper of up to four (4) pages on one or 
more of the relevant sub-topics. It should not be a description of a 
specific research activity, but rather an insight into the research
challenges or directions that the field of dynamic analysis faces. Each 
accepted position paper must have at least one author in attendance 
at the workshop. Registration will be open to non-authors if there are 
still open slots available after the author registration period.

Submit your paper in Adobe PDF via electronic submission through the 
workshop web site. Your paper must conform to the ICSE proceedings 
publication format and should not exceed four pages, including all 
text, references, appendices, and figures. 

  submit at:
  format instructions at:

* Submission Date:         February 15, 2003
* Accceptance/rejection:   March 1, 2003
* Camera-ready Copy:       April 1, 2003

Submissions will be reviewed by at least two reviewers, with content 
quality, workshop relevance, and ability to generate discussion as 
the deciding criteria for acceptance.


Jonathan E. Cook (New Mexico State University) 
Michael D. Ernst (Massachusetts Institute of Technology)