Proceedings of the 2007 international symposium on Software testing and analysis