Exploiting program dependencies for scalable multiple-path symbolic execution (2010)

by Raul Santelices, Mary Jean Harrold
Venue:In Proceedings of ISSTA. 195–206