Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering
ACM Digital Library