Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications - Bultan