Proceedings of the 25th International Symposium on Software Testing and Analysis
ACM Digital Library