Proceedings of the 20th international conference on Software engineering