Proceedings of the 20th IEEEACM international Conference on Automated software engineering
ACM Digital Library