Type-Dependence Analysis and Program Transformation for Symbolic Execution.

Saswat Anand, Alessandro Orso, Mary Jean Harrold

Browse the full TACAS paper archive.