Proceedings of the twenty-second IEEEACM international conference on Automated software engineering
ACM Digital Library