Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
ACM Digital Library