Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering