Proceedings of the ISSTA 2006 Symposium & PADTAD-IV Workshop : July 17-23, 2006, Portland, Maine, USA (ACM Press, 2006)