ASE

Welcome to Long Beach and the 20th IEEE/ACM International Conference on Automated Software Engineering. This year the conference is being held in North America in Long Beach, California. In addition to an exciting conference, we hope you enjoy the sunshine and numerous sites and activities available in the area.The Automated Software Engineering (ASE) conference is the major conference concerning the theory and practice of automating the software development process. The conference was formerly known as the "Knowledge-Based Software Engineering" conference (KBSE). The name was changed to "Automated Software Engineering" in 1997. At the same time, the conference was expanded to encourage world-wide participation and a broader set of scientific communities, including those concerned with automation of formal methods, software process, human-computer interaction, requirements engineering, reverse engineering, testing, verification and validation. The conference also continued to include participation of communities emphasizing the use of artificial intelligence and knowledge-based methods in software engineering. The ASE conference series has become a venue in which scientists exchange ideas about foundations, tools, techniques and applications of automated software engineering technology, including brand new technologies as well as reports of experience in applying technologies to practical problems.The papers appearing in these proceedings were subjected to a rigorous and highly selective reviewing process. A total of 291 papers were submitted to the conference. Each paper was reviewed by at least 3 members of the Program Committee. The committee accepted 28 for presentation as talks and publication as full papers, and 35 for presentation as posters and publication as short papers.In addition to the technical papers, the conference includes a doctoral symposium, tool demonstrations and tutorials. Several workshops are also co-located with ASE 2005, including: the Workshop on Software Security Assurance Tools, Techniques, and Metrics (SSATTM), the 3rd International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE'05); and the Workshop on Software Certificate Management (SoftCeMent'05).