Proceedings of the 2008 international symposium on Software testing and analysis