Proceedings of the symposium on Testing, analysis, and verification