Proceedings of the IEEE/ACM international conference on Automated software engineering