Proceedings of the 10th international conference on Static analysis
ACM Digital Library