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