Mixing type checking and symbolic execution.

Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster

Browse the full PLDI paper archive.