Proceedings of the 2012 International Symposium on Software Testing and Analysis