Scalable Test Generation by Interleaving Concrete and Symbolic Execution.

Xiaoke Qin, Prabhat Mishra

Browse the full VLSID paper archive.