Fitness-guided path exploration in dynamic symbolic execution.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Browse the full DSN paper archive.