Raúl A. Santelices, Mary Jean Harrold. Exploiting program dependencies for scalable multiple-path symbolic execution. In Paolo Tonella, Alessandro Orso, editors, Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. pages 195-206, ACM, 2010. [doi]
Abstract is missing.