Concolic testing: a decade later (keynote).

Koushik Sen

Browse the full OOPSLA paper archive.