| Abstract | Dynamic analysis techniques reason over the run-time behavior of systems. Dynamic analysis includes both offline techniques that operate on a trace of the system's behavior, and online techniques that operate while the system is producing its behavior. Examples of dynamic analysis techniques are profilers, memory allocation monitors, and assertion checkers. Themes and needs shared by all dynamic analysis techniques include: \beginenumerate \item instrumentation; \item data collection, description, and management; \item behavior descriptions; \item partial and/or noisy information; and \item reasoning with partial models. \endenumerate \par WODA 2003 aims to bring together researchers working on topics related to dynamic analysis and runtime monitoring. Doing so will help create synergy and understanding within this community of researchers, and will improve the progress of the field by exposing participants to new ideas and to potential collaborators. \par This workshop will focus on achieving a consensus among the participants as to the structure of the field, the important research directions this field should take, inputs needed from other research domains, and outputs that could benefit other research domains. It will cover a topical spectrum possibly including: \beginenumerate \item enabling technologies; \item framework and common tool support; \item event type definition, classification, and specification; \item symbolic and theoretically exact reasoning techniques; \item statistical and probabilistic reasoning techniques; \item research foundations; \item relationships to static analysis; \item relationships to testing; and \item other potential topics. \endenumerate \par This workshop will be a one-day workshop. Potential participants should 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 problems, needs, or approaches that researchers in dynamic analysis can use to further their understanding of the area. Each accepted position paper must have at least one author in attendance at the workshop. Those who have not submitted a position paper may attend if there are available slots after authors have registered; but all participants are encouraged to prepare their thoughts, opinions, and insights regarding the present and future of dynamic analysis. \par About ICSE: 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. Workshops have been an important part of this role, and we are pleased to offer the Workshop on Dynamic Analysis (WODA 2003) at ICSE 2003. |
