David S. Rosenblum Sebastian G. Elbaum Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007 ISSTA ACM 2007 978-1-59593-734-6 db/conf/issta/issta2007.html