Proceedings of the symposium on Testing, analysis, and verification
ACM Digital Library