ISSTA is the leading research conference in software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience on how to analyze and test software systems. We solicit submissions in the following categories:

* Technical papers (max 11 pages in ACM format), describing original (theoretical or empirical) research, new techniques, or in-depth case studies of testing and analysis methods.
* Research demo papers, describing research prototypes that will be demonstrated at dedicated demo sessions during the conference. The format for research demo papers consists of description of technique and tool (max 4 pages in ACM format), demo script (max 1 page), and optional snapshots (max 2 pages).
* Doctoral symposium papers (max 4 pages in ACM format), describing ongoing PhD work related to software analysis and testing.
* Workshop proposals (max 2 pages in ACM format), making the case for a full-day or half-day workshop to be co-located with ISSTA 2010. The proposal should state the theme and goals of the workshop, its format, each organizer�s background and experience, and a preliminary list of (proposed or confirmed) program committee members.

Submissions must be original and should not have been published previously or be under consideration for publication while being evaluated for this symposium. All submissions must be in ACM conference format and page limits, in camera-ready form, include figures and references. All submissions must be in English.