Inc. All other systems are either trademarks or registered trademarks of their respective companies. Papers of either a theoretical or empirical nature describing original research in testing or analysis for sequential, concurrent, distributed, or real- time software are invited.
Papers reporting in-depth analysis of real experience with methods or tools are welcome.
Proposals for panel ses- sions on current testing and analysis topics are also invited. Papers must not have been previously published or submitted elsewhere. The highest quality papers may be considered for publication in a special issue or section of a research journal. Workshop papers will be evaluated primarily according to their interest to the testing and analysis community. Regular papers must not exceed 20 pages, including figures and refer- ences.