Exploiting program dependencies for scalable multiple-path symbolic execution.

Ral A. Santelices, Mary Jean Harrold

Browse the full ISSTA paper archive.