Proceedings of the 2013 International Symposium on Software Testing and Analysis