Dual analysis for proving safety and finding bugs
Science of Computer Programming
Hi-index | 0.00 |
Welcome to SIGSOFT 2006 and the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering.FSE is a premier conference for research in software engineering theory and practice, and the flagship conference sponsored solely by ACM SIGSOFT. FSE has traditionally been a highly selective venue, and this year was no exception. We received 125 submissions from the global software engineering research community on a wide range of topics. Each paper was reviewed by at least 3 members of the technical program committee, composed of leading researchers with a wide range of research interests and, like the authors, drawn from a vibrant world-wide research community. Based on their reviews, about 50 papers were selected for discussion during a program committee meeting held at Rutgers University. Collegial but spirited face-to-face discussion over a period of two days led to the final selection of 30 papers that you see in these proceedings.