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