Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
ACM Digital Library