Publisher's Synopsis
Papers from a November 2001 conference share ideas on the foundations, techniques, tools, and applications of automated software engineering technology. Papers are presented in sections on testing, transformation/construction, verification and validation, structure, analysis, reverse engineering and integration, model checking, and specification an