Directed Symbolic Execution.

Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks

Browse the full SAS paper archive.