Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - Bodden, Eric (ACM, 2017)