Proceedings of the 2014 International Symposium on Software Testing and Analysis