Title: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications