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