Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering
ACM Digital Library