Guiding dynamic symbolic execution toward unverified program executions.

Maria Christakis, Peter Mller, Valentin Wstholz

Browse the full ICSE paper archive.